Publications

Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.

Publications

2017
DOILouis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. Proc. Int. Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2017.
Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees. 2017 AIAA SPACE Forum, to be published, 2017.
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset (short paper). Proc. 5th Int. Symp. on Model-Based Safety and Assessment (IMBSA 2017), to be published, 2017.
DOIMarco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges. In Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu editors, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Springer Singapore, 2017.
2015
DOIViet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation. Proceedings Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, pages 68–85, Springer, 2015.
DOIThomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Proc. 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Volume 476 of CCIS, pages 17–31, Springer, 2015.
DOIKevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. International Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2015.
2014
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft Early Design Validation using Formal Methods. Reliability Engineering and System Safety 132, pages 20–35, 2014.
DOIDimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Volume 8803 of LNCS, pages 177–192, Springer, 2014.
LinkThomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Preliminary proceedings of 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), pages 2–5, , 2014.
Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering. In Daniele Gianni, Andrea D'Ambrogio, Andreas Tolk editors, Modeling and Simulation-Based Systems Engineering Handbook, pages 339–375, 2014.
2013
DownloadBernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models. Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Volume 8153 of LNCS, pages 241–252, Springer, 2013.
2012
LinkThomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project (Abstract). Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272), Volume 2 of Dagstuhl Reports, pages 42, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2012.
2011
DownloadYuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective. 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011), pages 18–25, IEEE CS Press, 2011.
LinkJoost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems. Public Service Review: European Science and Technology 11, pages 204–205, 2011.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal 54(5), pages 754–775, 2011.
Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars. Pre-Proceedings 8th Int. Symp. on Formal Aspects of Component Software (FACS), Oslo University, 2011.
2010
LinkMaximilian R. Odenbrett, Viet Yen Nguyen, Thomas Noll. Slicing AADL Specifications for Model Checking. Proc. of the 2nd NASA Formal Methods Symp. (NFM 2010), Volume of NASA Conference Proceedings, pages 217–221, , 2010.
LinkMarco Bozzano, Roberto Cavada, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive. Formal Verification and Validation of AADL Models. Proc. of Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010), , 2010.
DownloadMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010), Volume 6174 of LNCS, pages 562–565, Springer, 2010.
2009
LinkMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121–130, IEEE CS Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173–186, Springer, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). Proc. 7th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009), pages 285–286, ACM Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems. Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, pages 87–91, , 2009.

Talks

2017
DownloadThomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.
2016
LinkThomas Noll. Using Standard AADL for COMPASS, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
DownloadThomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at NII Shonan Seminar on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, Kanagawa, Japan, 2016.
DownloadThomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset, Talk at 6th FMF Formal Methods Day, Toulouse, France, 2016.
DownloadThomas Noll. D-MILS and MILS-AADL, Talk at AADL Standards Meeting, Toulouse, France, 2016.
2014
LinkThomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Invited talk at 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg, 2014.
2013
LinkThomas Noll. Characterization of Failure E ffects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.
2012
DownloadThomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl, Germany, 2012.
DownloadThomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, CS Colloquium Talk at RWTH Aachen University, Germany, 2012.
2011
DownloadPierre Dissaux, Viet Yen Nguyen, Thomas Noll. Tutorial on COMPASS Toolset, Talk at AADL Standards Meeting at SAE AeroTech Congress & Exhibition, Toulouse, France, 2011.
DownloadThomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars, Talk at 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, 2011.
DownloadThomas Noll. Analyzing Reconfigurable Systems Using Attribute Grammars, MOVES Seminar Talk at RWTH Aachen University, Germany, 2011.
LinkThomas Noll. The ESA COMPASS Project: Correctness, Safety and Fault Tolerance in Aerospace Systems, Talk at GI-Themenabend ``Fehlerfreie Software – ein Widerspruch in sich?'', Cologne, Germany, 2011.
2009
LinkThomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), Noordwijk, The Netherlands, 2009.
LinkThomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language, Talk at AADL Standard Meeting at Ada-Europe, Brest, France, 2009.
LinkThomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex, Talk at AADL Standard Meeting, Noordwijk, The Netherlands, 2009.
LinkThomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at German Chapter CONCUR Meeting, Berlin, Germany, 2009.
LinkThomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at COMPASS Workshop at ETAPS 2009, York, United Kingdom, 2009.
2008
LinkViet Yen Nguyen, Thomas Noll. System and Software Co-Engineering: Performance and Verification, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), Noordwijk, The Netherlands, 2008.