Titlebook: Reliable Software Technologies -- Ada-Europe 2012; 17th Ada-Europe Inte Mats Brorsson,Luís Miguel Pinho Conference proceedings 2012 Springe

預(yù)示

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applicationsunctional and timing specification, and implemented according to the abstractions provided by the framework. Response time analysis enables assessing the schedulability of the different operating modes and the transitions between modes.

猜忌

exophthalmos

B-cell

Vertical

Implementing and Verifying EDF Preemption-Level Resource Controlally generated (and executed) and a separate simulation script produced. Tests on an existing run-time for Ada has shown that in certain circumstances an Ada program and its corresponding simulation diverge.

不能約

Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systemssue can be improved by performing constraint pre-processing as well as constraint encoding. It is shown that our approach can handle typical industrial requirements that come from the automotive industry’s AUTOSAR standard in an efficient way.

Incise

arthroplasty

phlegm

Improving the Performance of Execution Time Control by Using a Hardware Time Management Unithe TMU has been implemented as a peripheral unit for the Atmel AVR?32 UC3 series of microcontrollers, and test results from simulation with the syntheziable RTL code of this system-on-chip are presented.

NOVA

0302-9743 s presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.978-3-642-30597-9978-3-642-30598-6Series ISSN 0302-9743 Series E-ISSN 1611-3349