178 research outputs found
Verifying the Safety of a Flight-Critical System
This paper describes our work on demonstrating verification technologies on a
flight-critical system of realistic functionality, size, and complexity. Our
work targeted a commercial aircraft control system named Transport Class Model
(TCM), and involved several stages: formalizing and disambiguating requirements
in collaboration with do- main experts; processing models for their use by
formal verification tools; applying compositional techniques at the
architectural and component level to scale verification. Performed in the
context of a major NASA milestone, this study of formal verification in
practice is one of the most challenging that our group has performed, and it
took several person months to complete it. This paper describes the methodology
that we followed and the lessons that we learned.Comment: 17 pages, 5 figure
Interoperability between a dynamic reliability modeling and a Systems Engineering process – Principles and Case Study
International audienceIndustrial systems are often large, and complex, in terms of structure, dynamic interactions between subsystems and components, dynamic operational environment, ageing, etc. The dynamic reliability approach is a convenient framework to model the behavior of such systems. However, there is a price to pay, e.g. in terms of amount of data, size of state graphs, volume of reliability calculations, and combination of various engineering activities. A sound Systems Engineering process, benefiting from the improvement of most recent tools, may be a fruitful approach to decrease these difficulties. Although feasibility demonstrations have been done for conventional, static, approaches of dependability, interoperability between dynamic reliability modeling and Systems Engineering has not the same maturity level. The article explains how, on the basis of Systems Engineering (SE) process definitions, a Meta-model defines a framework for integrating the safety into SE processes. It supports a "hub automaton", that is the key element for interoperability with the tools and activities required for a dynamic reliability assessment. The case study is the dynamic assessment of availability of a feed-water control system in a power plant steam generator, presented in previous articles
Where Virtual Enhances Physical Mock-Up: A Way to Understand our Heritage
International audienceIn Museum, many testimonies of our cultural heritage can be found. But because of their high fragility, the public can not get too close to them. In this communication we will explain a project that deals with a physical mock-up of Nantes harbor; the mock-up has been built in 1899 and shown in 1900 for the World's Fair that took place in Paris, France. This heritage object is nowadays at the "Château des Ducs" museum in Nantes, France, but shown behind panes. The object has been digitized and a 3D model has been reconstructed. Thanks to a virtual system coupled to a touchscreen with semantic research modules and to a light pointer, it will allow the visitor to better understand the mock-up and the associated history. Moreover, the system will be user-centered: the visitor will interact directly with the digital mock-up and obviously with all the knowledge that allows the contextualization
Capitalisation et réutilisation avec des patrons dans un cadre d'Ingénierie Système Basée sur les Modèles (ISBM)
International audienceIn order to promote capitalization and reuse within a Model-Based System Engineering (MBSE) framework, this paper proposes a methodological approach that relies on the concept of pattern in order to encapsulate the know-how to be capitalized and reused. Indeed, formalizing and maintaining know-how within a company is essential in order to have a common base of "good practices" available to all engineering teams. To do this, it is necessary to undertake a capitalization process in order to encapsulate these practices. However, it is equally important to make this know-how available and to facilitate its reuse so that engineers can adapt it to their needs. The flexibility of patterns during reuse is an advantage that will contribute to the efficiency of MBSE and where engineering teams are able to rely on the company's know-how
Design Methods Review for Smart Product: Objectomy, a New Approach
Digital artefacts call for new design challenges: they enable services, technology-driven and
multidisciplinary never ended processes, uncouple form-function, in a social relationship that must be
ecosystem-framed. Then, the usual design mindset is not proper and expected vs unexpected outcomes must
be equally studied. A framework of methods, in view of the usual design variables and the new ones called
by design of smart objects, is here offered. From that the seeds for the future aid to the design process of
smart objects result. Then, Objectomy and one real application case are described
Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
Master'sMASTER OF SCIENC
- …