HAMR: an AADL multi-platform code generation toolset
J Hatcliff, J Belt, Robby, T Carpenter - Leveraging Applications of Formal …, 2021 - Springer
This paper describes the High-Assurance Model-based Rapid engineering for embedded
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
TwinOps-DevOps meets model-based engineering and digital twins for the engineering of CPS
J Hugues, A Hristosov, JJ Hudak, J Yankel - Proceedings of the 23rd …, 2020 - dl.acm.org
The engineering of Cyber-Physical Systems (CPS) requires a large set of expertise to
capture the system requirements and to derive a correct solution. Model-based Engineering …
capture the system requirements and to derive a correct solution. Model-based Engineering …
A formal approach to AADL model-based software engineering
Formal methods have become a recommended practice in safety-critical software
engineering. To be formally verified, a system should be specified with a specific formalism …
engineering. To be formally verified, a system should be specified with a specific formalism …
Model-driven development for the seL4 microkernel using the HAMR framework
J Belt, J Hatcliff, J Shackleton, J Carciofini… - Journal of Systems …, 2023 - Elsevier
Verified microkernels such as seL4 provide trustworthy foundations for safety-and security-
critical systems. However, their full potential remains unrealized due, in part, to the lack of …
critical systems. However, their full potential remains unrealized due, in part, to the lack of …
An environment for developing simulatable AADL-DEVS models
E Ahmad, HS Sarjoughian - Simulation Modelling Practice and Theory, 2023 - Elsevier
Reducing complexity in system architecture and design specifications, and more specifically
from the software aspect, is essential. The architecture specifications focus on what the …
from the software aspect, is essential. The architecture specifications focus on what the …
Formalization of the AADL run-time services
Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …
modeling language distinguished by its emphasis on strong semantics for modeling real …
Automated property-based testing from AADL component contracts
Effective and scalable quality assurance techniques are essential for realizing formal model-
based development techniques for high-assurance systems. In this paper, we present the …
based development techniques for high-assurance systems. In this paper, we present the …
Dataflow model–based software synthesis framework for parallel and distributed embedded systems
E Jeong, D Jeong, S Ha - ACM Transactions on Design Automation of …, 2021 - dl.acm.org
Existing software development methodologies mostly assume that an application runs on a
single device without concern about the non-functional requirements of an embedded …
single device without concern about the non-functional requirements of an embedded …
METASAT's Model Based Design Solutions
L Kosmidis - ACM SIGAda Ada Letters, 2024 - dl.acm.org
METASAT is a recently started project (January 2023) in the Horizon Europe programme, in
the SPACE call, coordinated by the Barcelona Supercomputing Center (BSC). METASAT …
the SPACE call, coordinated by the Barcelona Supercomputing Center (BSC). METASAT …
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?
V Tietz, C Frey, J Schoepf, B Annighoefer - Proceedings of the 25th …, 2022 - dl.acm.org
The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though
the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM …
the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM …