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

View/Open

Conference75_XANDAR_Exploiting_the_X-by-Construction_Paradigm_in_Model-based_Development_of_Safety-critical_Systems.pdf (214.1Kb)

UoP_Deposit_Agreement v1.1 20160217.pdf (125.4Kb)

Date

2022

Author

Masing, L

Doerr, T

Schade, F

Becker, J

Keramidas, G

Antonopoulos, CP

Mavropoulos, M

Tiganourias, E

Kelefouras, Vasileios

Antonopoulos, K

Voros, N

Durak, U

Ahlbrecht, A

Zaeske, W

Panagiotou, C

Karadimas, D

Adler, N

Sailer, A

Weber, R

Wilhelm, T

Nemeth, G

Siddiqui, F

Khan, R

Garousi, V

Sezer, S

Morales, V

Subject

X-by-Construction

 

Model-based development

 

Real-time systems

 

Safety-critical systems

 

Hypervisors

 



Metadata

Show full item record

URI

http://hdl.handle.net/10026.1/19951

Collections

• School of Engineering, Computing and Mathematics

Journal

PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022)

Pagination

814-818

Author URL

https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000819484300154&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11bb513d99f797142bcfeffcc58ea008