Add to ORKGInternational audienceThe PHYLOG project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectives of the MCP-CRI / CAST-32A position paper. To reach this general objective, we have defined a certification framework based on patterns to express any argumentation; as well as formal and automatic analyses to support the proof of the argumentation. In this paper, we will introduce the certification methodology and apply it on the KEYSTONE platform
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems...
The growing cost associated with managing increasingly complex Information Technology (IT) infrastru...
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and...
International audienceThe Phylog project aims at offering a model-based software-aided certification...
Software certification is a common approach in the aerospace domain to ensure safety, quality and de...
Abstract. It has been recognized that a framework based on proofcarrying code (also called semantic-...
Aircraft on-board systems architectures are defined by the subsystems and the connections among them...
Presented at AIAA Aviation 2020 ForumA typical aircraft certification process consists of obtaining ...
With the pervasive deployment of software in dependable systems used in everyday life,society is in...
International audienceA certification process usually consists in analyzing, in a restricted amount ...
This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a...
Software certification is one of the major issue in the aeronautical domain. Therefore, in order to ...
Thesis (Ph.D.)--University of Washington, 2019The application of an integrated model based process t...
A modern approach to software development inclu¬des a wide variety of processes, which are used to r...
Safety critical systems (e.g., an avionics control system for safe flight) are often required to ach...
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems...
The growing cost associated with managing increasingly complex Information Technology (IT) infrastru...
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and...
International audienceThe Phylog project aims at offering a model-based software-aided certification...
Software certification is a common approach in the aerospace domain to ensure safety, quality and de...
Abstract. It has been recognized that a framework based on proofcarrying code (also called semantic-...
Aircraft on-board systems architectures are defined by the subsystems and the connections among them...
Presented at AIAA Aviation 2020 ForumA typical aircraft certification process consists of obtaining ...
With the pervasive deployment of software in dependable systems used in everyday life,society is in...
International audienceA certification process usually consists in analyzing, in a restricted amount ...
This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a...
Software certification is one of the major issue in the aeronautical domain. Therefore, in order to ...
Thesis (Ph.D.)--University of Washington, 2019The application of an integrated model based process t...
A modern approach to software development inclu¬des a wide variety of processes, which are used to r...
Safety critical systems (e.g., an avionics control system for safe flight) are often required to ach...
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems...
The growing cost associated with managing increasingly complex Information Technology (IT) infrastru...
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and...