ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Tue 9 Apr 2019 15:30 - 15:45 at SUN I - Tool Demos Chair(s): Marius Mikucionis

COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is an international research effort aiming to ensure system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. In this paper we present COMPASS 3.0, which brings together the results of various development projects since the original inception of COMPASS. Improvements have been made both on the frontend, supporting an updated modeling language and user interfaces, as well as the backend, by adding new functionalities and improving the existing ones. New features include Timed Failure Propagation Graphs, contract-based analysis, hierarchical fault tree generation, probabilistic analysis on non-deterministic models and statistical model checking.

Tue 9 Apr

tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Tool Demos at SUN I
Chair(s): Marius MikucionisAalborg University
tacas-2019-papers14:00 - 14:15
Talk
Florian Messner, Christian SternagelUniversity of Innsbruck, Austria
Link to publication
tacas-2019-papers14:15 - 14:30
Talk
Arnd HartmannsUniversity of Twente, Michaela KlauckSaarland Informatics Campus, Saarland University, David ParkerUniversity of Birmingham, Tim QuatmannRWTH Aachen University, Enno Ruijters
Link to publication
tacas-2019-papers14:30 - 14:45
Talk
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
Link to publication
tacas-2019-papers14:45 - 15:00
Talk
Link to publication
tacas-2019-papers15:00 - 15:15
Talk
Yu-Fang ChenAcademia Sinica, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Junnan Xu
Link to publication
tacas-2019-papers15:15 - 15:30
Talk
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan
Link to publication
tacas-2019-papers15:30 - 15:45
Talk
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
Link to publication
tacas-2019-papers15:45 - 16:00
Talk
Gianluca BarbonUniversit� Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes
Link to publication