Validating Safety and Security Requirements for Partitioned Architectures

Delange, Julien; Pautet, Laurent; Feiler, Peter H.

doi:10.1007/978-3-642-01924-1_3

Cited by 17 publications

(9 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…al. [13] present an approach where the system architecture is modeled with an architecture description language and architectural constraints regarding safety partitioning can be checked.…”

Section: B Modular Safety Certificationmentioning

confidence: 99%

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

Preschern

Dietrich

2012

2012 38th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

Safety and security certification are time and money consuming tasks. Changes to certified systems usually require re-certification of the whole product. Modular certification approaches applied to the safety and security domain aim at reducing these costs.In this paper, modular certification concepts with focus on IEC 61508 safety certification are analyzed and an approach for structuring the modular certification process by providing detailed requirements is suggested. We gather requirements from the security domain in order to fulfill objectives which have to be reached to enable modular safety certification. Functional requirements are taken from the Common Criteria Separation Kernel Protection Profile and assurance requirements are taken from a Common Criteria class responsible for compositional security certification.

show abstract

“…al. [13] present an approach where the system architecture is modeled with an architecture description language and architectural constraints regarding safety partitioning can be checked.…”

Section: B Modular Safety Certificationmentioning

confidence: 99%

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

Preschern

Dietrich

2012

2012 38th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

show abstract

“…Delange et al recently published their work on POK (Poly-ORB Kernel) [23]. It uses AADL specifications to automatically configure and deploy processes and partitions to a QEMU based emulated computing node.…”

Section: Related Workmentioning

confidence: 99%

A software platform for fractionated spacecraft

Dubey

Emfinger

Gokhale

et al. 2012

2012 IEEE Aerospace Conference

View full text Add to dashboard Cite

Abstract-A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the functions usually performed by a monolithic satellite. This spacecraft architecture poses novel software challenges because the hardware platform is inherently distributed, with highly fluctuating connectivity among the modules. It is critical for mission success to support autonomous fault management and to satisfy real-time performance requirements. It is also both critical and challenging to support multiple organizations and users whose diverse software applications have changing demands for computational and communication resources, while operating on different levels and in separate domains of security.The solution proposed in this paper is based on a layered architecture consisting of a novel operating system, a middleware layer, and component-structured applications. The operating system provides primitives for concurrency, synchronization, and secure information flows; it also enforces application separation and resource management policies. The middleware provides higher-level services supporting request/response and publish/subscribe interactions for distributed software. The component model facilitates the creation of software applications from modular and reusable components that are deployed in the distributed system and interact only through well-defined mechanisms.Two cross-cutting aspects -multi-level security and multilayered fault management -are addressed at all levels of the architecture. The complexity of creating applications and performing system integration is mitigated through the use of a domain-specific model-driven development process that relies on a dedicated modeling language and its accompanying graphical modeling tools, software generators for synthesizing infrastructure code, and the extensive use of model-based analysis for verification and validation.

show abstract

“…Delange et al recently published their work on POK (PolyORB Kernel) 35. POK is a runtime for ARINC‐653 Annex of the Architecture Analysis and Design Language (AADL) 36.…”

Section: Related Researchmentioning

confidence: 99%

A component model for hard real‐time systems: CCM with ARINC‐653

2011

View full text Add to dashboard Cite

SUMMARY The size and complexity of software in safety‐critical systems is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component‐based software development. However, in spite of the apparent benefits of a component‐based approach to development, little work has been done in applying these concepts to hard real‐time systems. This paper improves the state of the art by making three contributions: (1) we present a component model for hard real‐time systems and define the semantics of different types of component interactions; (2) we present an implementation of a middleware that supports this component model. This middleware combines an open‐source CORBA Component Model (CCM) implementation (MICO) with ARINC‐653: a state‐of‐the‐art real‐time operating systems (RTOS) standard, (3) finally; we describe a modeling environment that enables design, analysis, and deployment of component assemblies. We conclude with a discussion of the lessons learned during this exercise. Our experiences point toward extending both the CCM as well as revising the ARINC‐653. Copyright © 2011 John Wiley & Sons, Ltd.

show abstract

Validating Safety and Security Requirements for Partitioned Architectures

Cited by 17 publications

References 6 publications

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

A software platform for fractionated spacecraft

A component model for hard real‐time systems: CCM with ARINC‐653

Contact Info

Product

Resources

About