XANDAR: an X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
Tobias Doerr,Florian Schade,Juergen Becker,Georgios Keramidas,Nikos Petrellis,Vasilios Kelefouras,Michail Mavropoulos,Konstantinos Antonopoulos,Christos P. Antonopoulos,Nikolaos Voros,Alexander Ahlbrecht,Wanja Zaeske,Vincent Janson, Phillip Noeldeke,Umut Durak,Christos Panagiotou,Dimitris Karadimas,Nico Adler,Clemens Reichmann,Andreas Sailer,Raphael Weber,Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens,Sakir Sezer,Fahad Siddiqui,Rafiullah Khan,Kieran McLaughlin,Sena Yengec Tasdemir,Balmukund Sonigara,Henry Hui, Esther Soriano Viguer, Aridane Alvarez Suarez, Vicente Nicolau Gallego, Manuel Munoz Alcobendas, Miguel Masmano Tello 2024 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE（2024）
Key words
X-by-Construction,model-based development,real-time systems,safety-critical systems,hypervisors
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper