Abstract:Embedded software in the space domain must satisfy a set of strong constraints related to behaviour and performance, to fulfil user requirements. Moreover, due to the cost reduction trend in the domain and to the global necessity of increasing the quality of complex software systems, early design validation has become a real challenge for software designers. Currently used methods such as HOOD lacks support for behaviour description. Moreover, design validation is not feasible with such methods and first valid… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.