A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards Trustworthy Aerospace Systems: An Experience Report
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 34th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE Aerospace Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Reliability Engineering & System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, 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
2011
2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Information and Network Security (IJINS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Aerospace Technology and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of e-Navigation and Maritime Economy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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