Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Time4sys2imi: A tool to formalize real-time system models under uncertainty
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys is a formalism developed by Thales, realizing a graphical specification for real-time systems. However, this formalism does not allow to perform formal analyses for real-t…
cs.SE2019
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…