1 Hit in 3.6 sec

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Leonard Masing, Tobias Dörr, Florian Schade, Juergen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios Kelefouras, Konstantinos Antonopoulos, Nikolaos Voros, Umut Durak (+14 others)
Realizing desired properties "by construction" is a highly appealing goal in the design of safety-critical embedded systems.  ...  In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach.  ...  ACKNOWLEDGMENT This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 957210.  ... 
doi:10.5445/ir/1000147731 fatcat:soi2q6jzgrh4tatmvnt6lmhqk4