Theoretical Computer Science
An operational semantics for timed CSP
Information and Computation
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Theoretical Computer Science
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Formal Verification of the MetaH Executive Using Linear Hybrid Automata
RTAS '00 Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Integrating Object-Z with Timed Automata
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Scheduling and memory requirements analysis with AADL
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Learning UML 2.0
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
UML 2.0 in a Nutshell (In a Nutshell (O'Reilly))
UML 2.0 in a Nutshell (In a Nutshell (O'Reilly))
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
The AADL behaviour annex -- experiments and roadmap
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
The TASM toolset: specification, simulation, and formal verification of real-time systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |
The Architecture Analysis and Design Language (AADL) is a popular language for architectural modeling and analysis of software intensive systems in application domains such as automotive, avionics, railway and medical systems. These systems often have stringent real-time requirements. This paper presents an extension to AADL's behavior model using time annotations in order to improve the evaluation of timing properties in AADL. The translational semantics of this extension is based on mappings to the Timed Abstract State Machines (TASM) language. As a result, timing analysis with timed simulation or timed model checking is possible. The translation is supported by an Eclipse-based plug-in and the approach is validated with a case study of an industrial production cell system.