A Model-Based Framework for Developing Real-Time Safety Ada Systems

Salazar, Emilio; Alonso, Alejandro; Miguel, Miguel Á. de; Puente, Juan Antonio de la

doi:10.1007/978-3-642-38601-5_9

Search citation statements

Order By: Relevance

Paper Sections

Select...

Final Artefact Generation1

Architecture Of the Partitioned System1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2022

Publication Types

Select...

Article4

Relationship

Self Cite2

Independent2

Authors

Journals

Cited by 4 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The toolset described in this section is an evolution of a previous one developed at the Universidad Politécnica de Madrid [46]. Originally, it was used for developing real-time systems.…”

Section: Final Artefact Generationmentioning

confidence: 99%

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems

Trujillo

Crespo

Alonso

et al. 2014

Microprocessors and Microsystems

Self Cite

View full text Add to dashboard Cite

“…The toolset described in this section is an evolution of a previous one developed at the Universidad Politécnica de Madrid [46]. Originally, it was used for developing real-time systems.…”

Section: Final Artefact Generationmentioning

confidence: 99%

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems

Trujillo

Crespo

Alonso

et al. 2014

Microprocessors and Microsystems

Self Cite

View full text Add to dashboard Cite

“…The software for the partitioned architecture has been developed using the MultiPARTES toolset (Salazar et al, 2013). The tools generate code skeletons of software components, into which functional code is inserted.…”

Section: Architecture Of the Partitioned Systemmentioning

confidence: 99%

Safety Concept for a Mixed Criticality On-Board Software System ∗

et al. 2015

Self Cite

View full text Add to dashboard Cite

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 highintegrity 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.

show abstract