SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles

Abstract : Due to their growing complexity, real time and embedded systems development requires to apply both software engineering and formal methods. In order to improve reuse, applying software engineering allows separation of concerns to be applied between the application part (control) and its communication with the physical environment. This separation allows the control to be deployed through different concrete platforms in terms of sensors and actuators.
SAIA (Sensors / Actuators Independent Architecture) implements these concepts by defining an architectural style where the control is based on an abstract platform. Then, to realize the system, the abstract platform is linked to a concrete platform through a complex connector.
This software engineering method is promising, however an important real time and embedded systems aspect is that their correctness depends on the communication with the physical environment temporal behaviors. A minor change in a measure acquisition by a sensor can lead to unpredictable reaction of the system.
To allow separation of concerns to be correctly realized, SAIA proposes formal models and techniques based on timed automata and exhaustive simulation. In a first step, formal QoS (Quality of Services) requirements are expressed in both the abstract and the concrete platform. Then, the second step ensures the connection correctness between the concrete and the abstract platform. This is done when the complex connector establishes a QoS contract. In SAIA, a QoS contract defines a formal conformity relation to ensure the QoS satisfaction and, so, to ensure a safe deployment during the connection. At the end, a show case demonstrates the use and this approach interest.
Document type :
Theses
Complete list of metadatas

Cited literature [117 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00239261
Contributor : Julien Deantoni <>
Submitted on : Tuesday, February 5, 2008 - 11:50:45 AM
Last modification on : Saturday, October 27, 2018 - 1:19:07 AM
Long-term archiving on : Thursday, September 27, 2012 - 5:49:18 PM

Identifiers

  • HAL Id : tel-00239261, version 1

Citation

Julien Deantoni. SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles. Génie logiciel [cs.SE]. INSA de Lyon, 2007. Français. ⟨tel-00239261⟩

Share

Metrics

Record views

310

Files downloads

345