11,842 Hits in 9.9 sec

Towards Trustworthy Aerospace Systems: An Experience Report [chapter]

Joost-Pieter Katoen
2011 Lecture Notes in Computer Science  
We thank all co-workers in the COMPASS project for their contributions, in particular Thomas Noll and Viet Yen Nguyen (RWTH Aachen University), Marco Bozzano, Alessandro Cimatti and Marco Roveri (FBK,  ...  This research is funded by the European Space Agency via several grants.  ...  Current investigations indicate that the integrated COMPASS approach significantly reduces the time and cost for safety analysis compared to traditional on-board design processes.  ... 
doi:10.1007/978-3-642-24431-5_1 fatcat:mztiusjmgzgofcfnwjbgqi436a

Impacts of the Space Technology Evolution in the V&V of Embedded Software-Intensive Systems [article]

Carlos Leandro Gomes Batista and Tania Basso and Fátima Mattiello-Francisco and Regina Moraes
2020 arXiv   pre-print
This work presents an analysis of the strategy adopted in a real nanosatellite for the development of the OBDH software embedded in NanosatC-BR2 mission.  ...  A challenge in the nanosatellites context is to adapt the V\&V (Verification and Validation) process to answer to the increase importance of the embedded software, to reduce the artefacts to be delivered  ...  The development of standardized test environments using model-based methods and tools allowed the establishment of integration testing processes for satellite subsystems that are more effective in time  ... 
arXiv:2011.14914v1 fatcat:mm7mpr4xyzfz7gppfzptogi7my

AADL and model-based engineering

Peter H. Feiler
2014 Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14  
Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining  ...  the data needed, and completing and reviewing the collection of information.  ...  AADL model of vehicle hardware & software architecture • Identified system-level requirements to be verified based on input from Red Team evaluations • Developed Resolute analysis tool for capturing and  ... 
doi:10.1145/2663171.2663174 dblp:conf/sigada/Feiler14 fatcat:mddvd4nlurh65o6zopy5jrziay

A Component Model for On-board Software Applications

Marco Panunzio, Tullio Vardanega
2010 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications  
In this paper we present the main conceptual and methodological steps taken by an initiative of the European Space Agency aimed at the creation of a component model suited for the development of on-board  ...  Component-based development has become more common news than exotic novelty in mainstream industry.  ...  The views presented in this paper are the authors' only and do not necessarily engage those of the other members of the SAVOIR-FAIRE WG.  ... 
doi:10.1109/seaa.2010.39 dblp:conf/euromicro/PanunzioV10 fatcat:wccd57cm3jfo3b72xvmdutlgcy

Formal correctness, safety, dependability, and performance analysis of a satellite

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
2012 2012 34th International Conference on Software Engineering (ICSE)  
This paper reports on the usage of a broad palette of formal modeling and analysis techniques on a regular industrial-size design of an ultra-modern satellite platform.  ...  These efforts were carried out in parallel with the conventional software development of the satellite platform. The model itself is expressed in a formalized dialect of AADL.  ...  In 2008, the COMPASS consortium developed a formal modeling and analysis toolset specifically addressing the needs of the (European) space industry.  ... 
doi:10.1109/icse.2012.6227118 dblp:conf/icse/EsteveKNPY12 fatcat:qmibafcjvvhlrfnv5avvhnjwgm

Model based systems engineering (MBSE) applied to Radio Aurora Explorer (RAX) CubeSat mission operational scenarios

S. C. Spangelo, J. Cutler, L. Anderson, E. Fosse, L. Cheng, R. Yntema, M. Bajaj, C. Delp, B. Cole, G. Soremekum, D. Kaslow
2013 2013 IEEE Aerospace Conference  
In this paper, we extend our initial Model Based Systems Engineering (MBSE) framework developed for a small satellite mission by demonstrating the ability to model different behaviors and scenarios.  ...  We integrate several simulation tools to execute SysML-based behavior models, including subsystem functions and internal states of the spacecraft.  ...  We also thank Analytical Graphics, Inc (AGI), Phoenix Integration, and InterCAX for their generous support of our work.  ... 
doi:10.1109/aero.2013.6496894 fatcat:r2bv5pmq7ffmha2shirkraw2m4

The UniForM workbench a universal development environment for formal methods [chapter]

Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
1999 Lecture Notes in Computer Science  
The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification,  ...  Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described.  ...  Combination of Methods Integration into the Software Life Cycle Integration of Formal Methods into Existing Process Models is important for success in industry.  ... 
doi:10.1007/3-540-48118-4_13 fatcat:fwwpfuyds5euzmnl4mts46imqm

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2014 Reliability Engineering & System Safety  
Several pilot projects have been performed by industry, with two of them having focused on the system-level of a satellite platform in development.  ...  The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system.  ...  The on-board software is responsible for their mitigation. Level 3 Failures are occurring in the on-board software or in the processor modules.  ... 
doi:10.1016/j.ress.2014.07.003 fatcat:323zdjkgurd7bjuemikv3uxeg4

Safety, Dependability and Performance Analysis of Aerospace Systems [chapter]

Thomas Noll
2015 Communications in Computer and Information Science  
, safety, dependability and performability of on-board computer-based aerospace systems.  ...  In this paper we give an overview of an integrated system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness  ...  Those findings were confirmed by applying our formal modelling and analysis techniques on a regular industrial-size design of a modern satellite platform in parallel with the conventional software development  ... 
doi:10.1007/978-3-319-17581-2_2 fatcat:hzsq5z43bvbzhl5fmscvx5vnea

Integrated Software and Sensor Health Management for Small Spacecraft

Johann Schumann, Ole J. Mengshoel, Timmy Mbaya
2011 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology  
In this paper, we discuss the use of Bayesian networks (BNs) to monitor the health of on-board software and sensor systems, and to perform advanced on-board diagnostic reasoning.  ...  At the same time, size, weight, and budget constraints often dictate that small spacecraft are designed as single-string systems, which means that there are no or few redundant systems.  ...  The use of small satellites has impact on the development process as well.  ... 
doi:10.1109/smc-it.2011.25 fatcat:khfixn5ezbcvxdsy7tvdepv7q4

Mobile Geographic Information System Platform (MGISP): A GPS Information Collection System

Abdelilah Azyat, Naoufal Raissouni, Nizar Ben Achhab, Mohamad Lahraoua, Asaad Chahboun
2012 International Journal of Information and Network Security (IJINS)  
The GPS is based on satellites and computers [19;24] to compute positions anywhere on the Earth. It is also founded on satellite ranging.  ...  For example, the automotive industry has been integrating navigation systems into cars for some time.  ...  ACKNOWLEDGEMENTS This work was supported in part by the Ministry for Higher Education, Management Training and Scientific Research under CSPT Grants for -Integration and application of GIS and GPS on mobile  ... 
doi:10.11591/ijins.v1i2.534 fatcat:46mf5mrxyfddxnjqtwkhnk4teu

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

Ana Maria Ambrosio, Arineiza C. Pinheiro, Adenilso Simão
2014 Journal of Aerospace Technology and Management  
ACKNOWLEDGMENTS The authors would like to thank professors Emília Villani, David Fernandez and Wilson Yamagutti for the opportunity of applying the proposed approach in the ITASAT project.  ...  The authors would also like to thank the financial support of FAPESP, CNPq and CAPES. The authors are very thankful to reviewers for their useful comments.  ...  point of view of many industries acting in the satellite-based software sector.  ... 
doi:10.5028/jatm.v6i4.369 fatcat:llegnuexfvaonbxzzrnn363nzu

Satellite Instrument Control Unit with Artificial Intelligence engine on a Single Chip

Gianluca Giuffrida, Pietro Nannipieri, Lorenzo Diana, Silvia Panicacci, Luca Fanucci, Gionata Benelli, Giuseppe Gentile, Marcelo Brandalero, Michael Hübner
2021 Zenodo  
The Instrument Control Unit with Artificial Intelligence Engine System on Chip presented in this work aims at changing the rules of image/data handling and processing on-board satellites, overcoming the  ...  As the number of earth observation missions increases, and so does the number of images acquired by satellites, the need of optimizing on-board mass-memory allocation and data transmitted to ground becomes  ...  On-board design The new satellites era seems to be characterised by a strong use of AI algorithms for the post-processing of data on ground.  ... 
doi:10.5281/zenodo.5521640 fatcat:g7fcmdz7drbr5nh7my2q3krizu

Test Bed for Safety Assessment of New e-Navigation Systems

Axel Hahn
2014 International Journal of e-Navigation and Maritime Economy  
The modelling and simulation toolset HAGGIS provides methods for system specification and formal risk analysis.  ...  Formal, simulation based and in situ verification and validation of e-navigation technologies are important methods to obtain system safety and reliability.  ...  Model driven technologies support the safety analysis during the design phase by using formal analysis methods and simulation based on a simulation framework named HAGGIS.  ... 
doi:10.1016/j.enavi.2014.12.003 fatcat:l7xtvau3n5dsxf2fi3ikzus4ne

Uniting Academic Achievements on Performance Analysis with Industrial Needs [chapter]

Bart Theelen, Jozef Hooman
2015 Lecture Notes in Computer Science  
Favoring formal methods, we observe a gap between industrial needs in performance modeling and the analysis capabilities of formal methods for this goal.  ...  After clarifying this gap, we highlight some relevant deficiencies for state-of-the-art quantitative analysis techniques (focusing on model checking and simulation).  ...  An extensive overview of research that aims at the integration of performance analysis in the software development process can be found in [4] .  ... 
doi:10.1007/978-3-319-22264-6_1 fatcat:a4iz7ghyfvfn3guaiifyphvjnu
« Previous Showing results 1 — 15 out of 11,842 results