A Case Study on the Efficiency of Model-Based Testing at the European Space Agency

Author(s):  
Stefan Mohacsi ◽  
Michael Felderer ◽  
Armin Beer
2011 ◽  
Vol 41 (2) ◽  
pp. 123-178 ◽  
Author(s):  
Arturo Russo

Mars Express is the first planetary mission accomplished by the European Space Agency (ESA). Launched in early June 2003, the spacecraft entered Mars's orbit on Christmas day of that year, demonstrating the new European commitment to planetary exploration. Following a failed attempt in the mid-1980s, two valid proposals for a European mission to Mars were submitted to ESA's decision-making bodies in the early 1990s, in step with renewed international interest in Mars exploration. Both were rejected, however, in the competitive selection process for the agency's Science Programme. Eventually, the Mars Express proposal emerged during a severe budgetary crisis in the mid-1990s as an exemplar of a “flexible mission” that could reduce project costs and development time. Its successful maneuvering through financial difficulties and conflicting scientific interests was due to the new management approach as well as to the public appeal of Mars exploration. In addition to providing a case study in the functioning of the ESA's Science Programme, the story of Mars Express discussed in this paper provides a case study in the functioning of the European Space Agency's Science Programme and suggests some general considerations on the peculiar position of space research in the general field of the history of science and technology.


2019 ◽  
Vol 13 (2) ◽  
pp. 179-186
Author(s):  
Paul Macarof ◽  
Florian Statescu ◽  
Cristian Iulian Birlica ◽  
Paul Gherasim

In this study was analyzed zones affected by drought using Vegetation Condition Index (VCI), that is based on Normalized Difference Vegetation Index (NDVI). This fact, drought, is one of the most wide -spread and least understood natural phenomena. In this paper was used remote sensing (RS) data, kindly provided by The European Space Agency (ESA), namely Sentinel-2 (S-2) Multispectral Instrument (MSI) and wellkonwn images Landsat 8 Operational Land Imager (OLI). The RS images was processed in SNAP and ArcMap. Study Area, was considered the eastern of Iasi county. The main purpose of paper was to investigating if Sentinel images can be used for VCI analysis.


Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.


2015 ◽  
Vol 21 (2) ◽  
pp. 132-137
Author(s):  
Hanseok Kim ◽  
Eunkyoung Jee ◽  
Doo-Hwan Bae

2016 ◽  
Vol 40 (2) ◽  
pp. 165-184 ◽  
Author(s):  
Sara Kerraoui ◽  
Moussa Saker

Testing is a software development activity, devoted to evaluating product quality and improving it by identifying defects and problems. Concerning multi agent systems, testing is a challenging task, which asks for new testing techniques dealing with their specific nature. The techniques need to be effective and adequate to evaluate agent’s autonomous behaviors and build confidence in them. The "Model Based Testing" (MBT) is a technique particularly interested among all existing solutions of tests. This latter is based on a system model, which produces abstract test cases. To run these last ones against systems under test,the abstract test cases have to be transformed to concrete ones. As part of this effort, we propose a model based testing approach for multi agent systems based on such a model called Reference net, where a tool, which aims to providing a uniform and automated approach is developed. The feasibility and the advantage of the proposed approach are shown through a short case study.


Sign in / Sign up

Export Citation Format

Share Document