Architecture Fault Modeling with the AADL Error-Model Annex
Delange, Julien, Feiler, Peter
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Get full text
Conference Proceeding
Managing Verification Activities Using SVM
Aldrich, Bill, Fehnker, Ansgar, Feiler, Peter H., Han, Zhi, Krogh, Bruce H., Lim, Eric, Sivashankar, Shiva
Published in Formal Methods and Software Engineering (2004)
Published in Formal Methods and Software Engineering (2004)
Get more information
Book Chapter
Conference Proceeding
Adaptive feedback scheduling of incremental and design-to-time tasks
Feiler, Peter H., Walker, John J.
Published in International Conference on Software Engineering: Proceedings of the 23rd International Conference on Software Engineering : Toronto, Ontario, Canada; 12-19 May 2001 (01.01.2001)
Published in International Conference on Software Engineering: Proceedings of the 23rd International Conference on Software Engineering : Toronto, Ontario, Canada; 12-19 May 2001 (01.01.2001)
Get full text
Conference Proceeding
Journal Article
Analysis and Design of Safety-critical, Cyber-Physical Systems
McGregor, John D., Gluch, David P., Feiler, Peter H.
Published in ACM SIGAda Ada Letters (10.05.2017)
Published in ACM SIGAda Ada Letters (10.05.2017)
Get more information
Journal Article
Performing Safety Analyses with AADL and AltaRica
Brunel, Julien, Feiler, Peter, Hugues, Jérôme, Lewis, Bruce, Prosvirnova, Tatiana, Seguin, Christel, Wrage, Lutz
Published in Lecture notes in computer science (2017)
Published in Lecture notes in computer science (2017)
Get full text
Book Chapter
Conference Proceeding