International audienceIn this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the reengineering of a flight software. This experiments has led us to introduce hierarchical aspects and study the link especially with AADL modes. We discuss about the definition of a semantics for the AADL execution model and propose some enhancements

No abstract

In this paper, we present an evaluation of Scrum's impacts over the software quality assurance process in the embedded aerospace software domain. We present basic concepts of the DO-178C and Scrum, then we assess related work and introduce the case study used as reference for our study, as well as the perceived results of using Scrum in both the development teams and in quality assurance. Finally, we summarize good practices for using Scrum in software quality assurance teams.

No abstract