ASIS - Architecture-based verification of software-intensive systems
Status:
finished
Start date:
2009
End date:
2011
Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE)
Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata (Jul 2012) Andreas Johnsen
An Architecture-Based Verification Technique for AADL Specifications (Sep 2011) Andreas Johnsen, Paul Pettersson, Kristina Lundqvist 5th European Conference on Software Architecture (ECSA11)
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (Jun 2011) Andreas Johnsen, Kristina Lundqvist Ada-Europe 2011
Apr 2014