A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking software architecture specifications in SAM
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Evolving car designs using model-based automated safety analysis and optimisation techniques
Journal of Systems and Software - Special issue: Computer software & applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
CHARMY: A Framework for Designing and Verifying Architectural Specifications
IEEE Transactions on Software Engineering
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Architecting dependable systems IV
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
From EAST-ADL to AUTOSAR software architecture: a mapping scheme
ECSA'11 Proceedings of the 5th European conference on Software architecture
Compositional synthesis of temporal fault trees from state machines
ACM SIGMETRICS Performance Evaluation Review
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
The AltaRica Formalism for Describing Concurrent Systems
Fundamenta Informaticae
Hi-index | 0.00 |
EAST-ADL is a domain specific Architecture Description Language (ADL) for safety-critical and software-intensive embedded systems. The language allows a formalized and traceable description of a wide range of engineering concerns throughout the entire lifecycle of system development. This makes it possible to fully utilize the leverage of state-of-the-art methods and tools for the development of correct-by-construction system functions and components in a seamless and cost efficient way. This paper focuses on the recent advancement of EAST-ADL in supporting an architecture-centric analysis, verification&validation of complex behaviors for the purposes of requirements engineering, application design, and safety engineering. The approach is architecture centric because all behavior descriptions are formalized and connected to a set of standardized design artifacts sitting at multiple levels of abstractions. We present the language design to support this, the theoretical underpinning and tool implementation. To show the capability of EAST-ADL, we also introduce an algorithm and its implementation for transforming the EAST-ADL behavior models to SPIN models for logic model checking. Exploiting mature state-of-the-art technologies from computer science, electronic engineering, and other related domains for a model-based incremental system development, the contribution enables the developers of embedded systems and software to maintain various engineering concerns coherently using EAST-ADL.