Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
A Family of Resource-Bound Real-Time Process Algebras
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Analyzing Schedulability of Astral Specifications using Extended Timed Automata
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
MetaH Support for Real-Time Multi-Processor Avionics
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
UML for hardware and software object modeling
UML for real
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
Process-Algebraic Interpretation of AADL Models
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Handling mixed-criticality in SoC-based real-time embedded systems
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
ACM SIGSOFT Software Engineering Notes
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Performance analysis of AADL models using real-time calculus
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
RCML: An Environment for Estimation Modeling of Reconfigurable Computing Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
A configuration approach for IMA systems
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Schedulability of herschel-planck revisited using statistical model checking
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Functional validation of AADL models via model transformation to SystemC with ATL
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Formal execution semantics for asynchronous constructs of AADL
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Exploring system architectures in AADL via Polychrony and SynDEx
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |
The paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components. The AADL standard prescribes semantics for the thread components and rules of interaction between threads and other components in the system. We present a semantics-preserving translation of AADL models into the real-time process algebra ACSR, allowing us to perform schedulability analysis of AADL models.