A process for improving multi-technology system high level design: Modeling, verification and validation of complex optronic systems
| Autor: | M. Larnal, Jean-Paul Pignon, Frederick Benaben, Janine Magnier |
|---|---|
| Přispěvatelé: | Centre Génie Industriel (CGI), IMT École nationale supérieure des Mines d'Albi-Carmaux (IMT Mines Albi), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT) |
| Jazyk: | angličtina |
| Rok vydání: | 2000 |
| Předmět: |
system design
Computer science Generic property Complex system 02 engineering and technology computer.software_genre multi-technologies Formal proof [SPI]Engineering Sciences [physics] High-level design High-level synthesis proof 0202 electrical engineering electronic engineering information engineering function processing oriented Formal verification Simulation validation Programming language modeling functional and non-functional requirements properties instantiation Systems design formal translation 020201 artificial intelligence & image processing verification computer Verification and validation |
| Zdroj: | SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5 SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, Nashville, United States. pp.1036-1040 SMC |
| Popis: | IEEE International Conference on Systems, Man and Cybernetics, NASHVILLE, TN, OCT 08-11, 2000; International audience; In order to support the design of complex systems such as optronic ones, and especially the function-processing-oriented part of this work, we propose a method set on a connection of stages. This assistance aims at making formal and thus checkable the representation of the system itself on the one hand and of its properties on the other hand. Then, it points to use those formalizations to manage the real verification of this system and to determine the agreement between ifs model and the expected properties. The principle is to follow the first steps (corresponding to the design phase) of the traditional V-cycle of system development, and to enrich each step with formal features: the first step is the elaboration, based on initial requirements, of a function processing oriented specification. The first result is then a formalized (functional and non-functional) requirements set. It allows the system designer to construct, using the generic model and properties inventory, on one hand the precise model of the system (i.e. an instantiated model, called MOTI), and on the other hand the list of properties to be verified. This MOTI is then (automatically) translated into a so-called MOTIF expressed into a formalism dedicated to formal proof (required for formal verification and validation processes). Concurrently, the expected properties (which have been extracted from the generic properties inventory enriched by specific characteristics such as user-defined values or :application-specific parameters), are translated into the accurate formalism for automated proof. By developing a solution dedicated to optronic systems, this project bn,aches the concept of multi-technologies system design. In order to support reuse, the approach is voluntarily generic and complete, thus allowing modeling and verification of (possibly any kind of) optronic systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|