Formal Verification of AADL Specifications in the Topcased Environment
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Translating AADL into BIP - Application to the Verification of Real-Time SystemsPublished by Springer Science and Business Media LLC ,2009
- Modeling AADL Data Communication with BIPLecture Notes in Computer Science, 2009
- Efficient Embedded Runtime Systems through Port Communication OptimizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Modes in Asynchronous SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Modeling AADL Data Communications with UML MARTEPublished by Springer Science and Business Media LLC ,2008
- Virtual execution of AADL models via a translation into synchronous programsPublished by Association for Computing Machinery (ACM) ,2007
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed ProcessesLecture Notes in Computer Science, 2007
- The tool TINA – Construction of abstract state spaces for petri nets and time petri netsInternational Journal of Production Research, 2004
- State/Event-Based Software Model CheckingLecture Notes in Computer Science, 2004
- Towards the verification of real-time systems in avionics: the Cotre approachElectronic Notes in Theoretical Computer Science, 2003