EAST-ADL — An Architecture Description Language

Debruyne, Vincent; Simonot-Lion, Françoise; Trinquet, Yvon

doi:10.1007/0-387-24590-1_12

Cited by 44 publications

(19 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Several design languages exist for real-time systems modelling: MARTE-UML (Frédéric et al 2006), EAST-ADL (Debruyne et al 2005) and AADL (SAE 2004). The SAE Architecture Analysis and Design Language (AADL) is a textual and a graphical language support for model-based engineering of embedded real-time systems.…”

Section: Increasing the Usability Of Real-time Scheduling Theory: Easmentioning

confidence: 99%

Investigating the usability of real-time scheduling theory with the Cheddar project

Singhoff

Plantec

Dissaux³

et al. 2009

Real-Time Syst

View full text Add to dashboard Cite

This article deals with real-time critical systems modelling and verification. Real-time scheduling theory provides algebraic methods and algorithms in order to make timing constraints verifications of these systems. Nevertheless, many industrial projects do not perform analysis with real-time scheduling theory even if demand for use of this theory is large and the industrial application field is wide (avionics, aerospace, automotive, autonomous systems, . . . ). The Cheddar project investigates why real-time scheduling theory is not used and how its usability can be increased. The project was launched at the University of Brest in

show abstract

Section: Increasing the Usability Of Real-time Scheduling Theory: Easmentioning

confidence: 99%

Investigating the usability of real-time scheduling theory with the Cheddar project

Singhoff

Plantec

Dissaux³

et al. 2009

Real-Time Syst

View full text Add to dashboard Cite

show abstract

“…Many of the proposed formalisms aim to capture the communication, concurrency, and dynamics of the components that comprise a given system. These existing formalisms include the Actor Model (e.g., [26], [20], [5], [10]), as well as process algebras (e.g., CCS [48], CSP [27], ACP [7], and π-calculus [50]), architectural formal modeling languages (e.g., AADL [14], EAST-ADL [11], and SysML [17]), labelled transition systems [38], Petri nets [54], synchronization trees [48], event structures [70], action algebras [40], [43], [55], and Concurrent Kleene Algebra (CKA) [28].…”

Section: Formalisms For Modeling Complex Distributed Systemsmentioning

confidence: 99%

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

Jaskolka

Villasenor

2017

Proceedings of the 50th Hawaii International Conference on System Sciences (2017)

View full text Add to dashboard Cite

Modern distributed systems and networks, like those found in cyber-physical system domains such as critical infrastructures, contain many complex interactions among their constituent software and/or hardware components. Despite extensive testing of individual components, security vulnerabilities resulting from unintended and unforeseen component interactions (so-called implicit interactions) often remain undetected. This paper presents a method for identifying the existence of implicit interactions in designs of distributed cyber-physical systems using the algebraic modeling framework known as Communicating Concurrent Kleene Algebra (C 2 KA). Experimental results verifying the applicability of C 2 KA for identifying dependencies in system designs that would otherwise be very hard to find are also presented. More broadly, this research aims to advance the specification, design, and implementation of distributed cyber-physical systems with improved cybersecurity assurance by providing a new way of thinking about the problem of implicit interactions through the application of formal methods.

show abstract

“…EAST-ADL2 [7] has been extended with MARTE for schedulability analysis. Although the domain-specific language EAST-ADL2 uses a generic modeling language like MARTE for its schedulability analysis extensions, the suggested approach is applied on automotive systems.…”

Section: Related Workmentioning

confidence: 99%

Applicability of real-time schedulability analysis on a software radio protocol

Singhoff

Rubini

et al. 2012

Proceedings of the 2012 ACM Conference on High Integrity Language Technology

View full text Add to dashboard Cite

In this paper, we present our experience on integrating timing constraint verification and analysis, by using the realtime scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES Communications & Security. We focus our work on Software Radio Protocols (SRP). We have used ModelDriven Engineering technologies and the Cheddar schedulability analysis tool for our experiment. We show how we have modeled a complete SRP in UML MARTE, a profile for real-time embedded systems, before using model transformation to extract information for schedulability analysis with Cheddar.

show abstract

EAST-ADL — An Architecture Description Language

Cited by 44 publications

References 8 publications

Investigating the usability of real-time scheduling theory with the Cheddar project

Investigating the usability of real-time scheduling theory with the Cheddar project

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

Applicability of real-time schedulability analysis on a software radio protocol

Contact Info

Product

Resources

About