Skip to Main content Skip to Navigation
Theses

Safe design method of embedded systems based on COTS

Abstract : This PhD dissertation contributes to the safe design of COTS-based control-command embedded systems. Due to design constraints bounding delays, costs and engineering resources, component re-usability has become a key issue in embedded design. Our proposal is a design method which ensures correction of COTS-based designs. This method uses in synergy a number of design techniques and tools. It starts from modeling of the COTS components which are stored in a generic COTS library, and ends with a design of the global control-command system, verified to be free of errors and ready to be implemented over a hardware chip such as an ASIC or an FPGA "Field Programmable Gate Array". The designer starts by modeling the temporal and logical local preconditions and postconditions of each COTS component, then the global pre/post conditions of the assembly which are not necessary a simple combination of local properties. He models also a list of properties that must be satisfied by the assembly. Any violation of these properties is defined as a design error. Then, by using the model checking approach the model of the assembly is verified against the predefined local and global properties. Some design errors can be corrected automatically through the Discrete Controller Synthesis method (DCS), others however must be manually corrected. After the correction step, the controlled control-command system is verified. Finally a global simulation step is proposed in order to perform a system-level verification beyond the capabilities of available formal tools. We apply the method on two different systems, one concerns transferring data from senders to receivers through FIFO unit, the other is controlcommand system of a train passengers’ access.
Document type :
Theses
Complete list of metadata

Cited literature [98 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00952827
Contributor : Abes Star :  Contact
Submitted on : Thursday, February 27, 2014 - 3:47:08 PM
Last modification on : Monday, September 13, 2021 - 2:44:03 PM
Long-term archiving on: : Tuesday, May 27, 2014 - 12:00:25 PM

File

these.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00952827, version 1

Citation

Salam Hajjar. Safe design method of embedded systems based on COTS. Other. INSA de Lyon, 2013. English. ⟨NNT : 2013ISAL0064⟩. ⟨tel-00952827⟩

Share

Metrics

Record views

455

Files downloads

910