This paper presents a safety concept for the on-board software system of the UPMSat-2 experimental satellite. Subsystems with different criticality levels are assigned to different partitions in a partitioned software architecture. The architecture is based on XtratuM, an open-source virtualization kernel, and ORK+, an open-source real-time kernel for high- integrity systems. The safety requirements of the system are analysed, and a safety concept is developed based on the partitioned software architecture. The properties of the implementation resulting from the approach are discussed, and guidelines for future developments are proposed
This paper describes an implementation of the Linux kernel and applications on a unique commercial-o...
With the rapid evolution of commercial hardware platforms, in most application domains, the industry...
Safety-critical systems are well documented and standardised (e.g. IEC 61508, RTCA DO178B) within sy...
This paper presents a safety concept for the on-board software system of the UPMSat-2 experimental s...
The continuous increment of processors computational power and the requirements on additional functi...
This paper describes some important aspects of high- integrity software development based on the aut...
In this position article, we motivate the necessity to introduce three software methods in spacecraf...
The raising connectivity of critical embedded systems makes them vulnerable to cyber-security attack...
International audienceMost of the work that has been done to build reliable interactive systems has ...
With the emergence of multicore embedded System on Chip (SoC), the integration of several applicatio...
Safety-critical systems and certification standards are the bare essential elements for the developm...
Computing systems in which the consequences of failure are very serious are termed safety-critical....
The development and maintenance of high-integrity software is very expensive, and a specialized deve...
A number of inventors and entrepreneurs are currently attempting to develop and commercially operate...
Techniques developed for hardware reliability and safety do not work on software-intensive systems; ...
This paper describes an implementation of the Linux kernel and applications on a unique commercial-o...
With the rapid evolution of commercial hardware platforms, in most application domains, the industry...
Safety-critical systems are well documented and standardised (e.g. IEC 61508, RTCA DO178B) within sy...
This paper presents a safety concept for the on-board software system of the UPMSat-2 experimental s...
The continuous increment of processors computational power and the requirements on additional functi...
This paper describes some important aspects of high- integrity software development based on the aut...
In this position article, we motivate the necessity to introduce three software methods in spacecraf...
The raising connectivity of critical embedded systems makes them vulnerable to cyber-security attack...
International audienceMost of the work that has been done to build reliable interactive systems has ...
With the emergence of multicore embedded System on Chip (SoC), the integration of several applicatio...
Safety-critical systems and certification standards are the bare essential elements for the developm...
Computing systems in which the consequences of failure are very serious are termed safety-critical....
The development and maintenance of high-integrity software is very expensive, and a specialized deve...
A number of inventors and entrepreneurs are currently attempting to develop and commercially operate...
Techniques developed for hardware reliability and safety do not work on software-intensive systems; ...
This paper describes an implementation of the Linux kernel and applications on a unique commercial-o...
With the rapid evolution of commercial hardware platforms, in most application domains, the industry...
Safety-critical systems are well documented and standardised (e.g. IEC 61508, RTCA DO178B) within sy...