Process-Algebraic Interpretation of AADL Models

Authors:
Oleg Sokolsky;Insup Lee;Duncan Clarke
Affiliations:
Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, U.S.A.;Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, U.S.A.;Fremont Associates, Camden, U.S.A.
Venue:
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Year:
2009

Citing 7
Cited 3

A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems
TIMES - A Tool for Modelling and Implementation of Embedded Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Praobabilistic Resource Failure in Real-Time Process Algebra

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
From the prototype to the final embedded system using the Ocarina AADL tool suite

ACM Transactions on Embedded Computing Systems (TECS)
Formal Schedulability Analysis and Simulation for AADL

ICESS '08 Proceedings of the 2008 International Conference on Embedded Software and Systems
Schedulability analysis of AADL models

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

Formal semantics and analysis of behavioral AADL models in real-time maude

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Modeling towards incremental early analyzability of networked avionics systems using virtual integration

ACM Transactions on Embedded Computing Systems (TECS)
Generation and validation of traces between requirements and architecture based on formal trace semantics

Journal of Systems and Software

Quantified Score

Hi-index	0.02

Visualization

Abstract

We present a toolset for the behavioral verification and validation of architectural models of embedded systems expressed in the language AADL. The toolset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools.