Searching for authors named "Virginie Wiels" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Formal Modeling of Space Shuttle Software Change Requests using SCR
- …This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for Space Shuttle flight software. The goal of the study was to determine whether a formal modeling technique could automate …
- Cited by 5 (2 self) – Add To MetaCart
-
A framework for heterogeneous formal modeling and compositonal verification of avionics sytems
- …This paper presents a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain. A component is an entity with three internal layers (hardware, operating functions and applicative functions) together with a collection of models in different domain-orie…
- Cited by 1 (1 self) – Add To MetaCart
-
Management of Evolving Specifications Using Category Theory
- …Structure is important in large specifications for understanding, testing and managing change. Category theory has been explored as framework for providing this structure, and has been successfully used to compose specifications. This work has typically adopted a "correct by construction" approach: …
- Cited by 4 (0 self) – Add To MetaCart
-
A Framework for Modular Formal Specification and Verification
- …This paper presents a specification formalism that combines temporal logic with actions and algebraic modules. This formalism allows to write modular specifications of complex systems and is supported by a tool. We show that we can also exploit the structure of the specification in order to real…
- Cited by 12 (6 self) – Add To MetaCart
-
A Modular Approach to Specify and Test an Electrical Flight Control System
- …The goal of this paper is to describe how to apply a rigorous framework for modular specification and validation to a real-time critical system. We are especially interested in generation of functional test sets from a structured specification of the system. We adopt a theoretical framework for bla…
- Cited by 2 (0 self) – Add To MetaCart
-
unknown title
- …Abstract. This paper describes the status of a joint project between Gemplus and ONERA. It presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already loaded applets. A security policy has been defined that associates levels to applet attributes and …
- Add To MetaCart
-
Detecting Illegal Information Flow Using Abstract Interpretation and Model Checking [Published in Gemplus Developer Conference, Montpellier, France,
- …Abstract. This paper describes the status of a joint project between Gemplus and ONERA. It presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already loaded applets. A security policy has been defined that associates levels to applet attributes and …
- Add To MetaCart
-
Formal Modeling of Space Shuttle Software Change Requests using SCR
- …This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for Space Shuttle flight software. The goal of the study was to determine whether a formal modeling technique could automate …
- Add To MetaCart
-
A Component Based Methodology for Description of Complex Systems. An Application to Avionics Systems
- …In this paper, we present a component based methodology for the description of complex systems and its application to the field of avionics components design. Avionics design involves several engineering branches, namely physics, electronics and computational science. Three viewpoints are extracted …
- Add To MetaCart
-
Checking Secure Interactions of Smart Card Applets
- …This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been defined that associates levels to applet attributes and methods and defines authorized flows between levels. We propose a techni…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
