[go: up one dir, main page]

Singh et al., 2018 - Google Patents

Breaking down silos with contract based design for industrial software development: illustrated through an aerospace case study

Singh et al., 2018

View PDF
Document ID
16908621857897102905
Author
Singh V
Benoit T
Braibant V
Publication year
Publication venue
ERTS 2018

External Links

Snippet

Organizations have long struggled to break down large, complex embedded applications into manageable isolated components and boost cross functional collaboration. It is clear that aircraft OEMs and avionic system designers are faced with several challenges. First, the …
Continue reading at hal.science (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/74—Reverse engineering; Extracting design information from source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts

Similar Documents

Publication Publication Date Title
Feiler et al. Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language
Hardebolle et al. Exploring multi-paradigm modeling techniques
Fitzgerald et al. A formal approach to collaborative modelling and co-simulation for embedded systems
Moradi et al. Model-implemented hybrid fault injection for Simulink (tool demonstrations)
Pessa et al. Integration of different MBSE approaches within the design of a control maintenance system applied to the aircraft fuel system
Bialy et al. Software engineering for model-based development by domain experts
Bonnet et al. Augmenting requirements with models to improve the articulation between system engineering levels and optimize V&V practices
Hugues et al. Twinops: Digital twins meets devops
Bhatt et al. Requirements-driven model checking and test generation for comprehensive verification
Martin et al. Linking UAF and SysML models: Achieving alignment between enterprise and system architectures
Andersson Variability and customization of simulator products: A product line approach in model based systems engineering
Mueller et al. Introduction of a dedicated platform level for ima systems development with an extensive automation tool support
Hällqvist et al. Heterogenous system modelling in support of incremental development
Tietz et al. Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?(extended version)
Pohlmann A Model-driven Software Construction Approach for Cyber-physical Systems
Singh et al. Breaking down silos with contract based design for industrial software development: illustrated through an aerospace case study
Kirchner et al. Using sysml for modelling and code generation for smart sensor asics
Graf et al. Correct development of embedded systems
Darif et al. A model-driven and template-based approach for requirements specification
Enard et al. Design-driven development of dependable applications: A case study in avionics
Kellomäki et al. Design templates for collective behavior
Blouin et al. Challenges in model synchronization for information preservation illustrated with the FACE and AADL standards
Heitmeyer et al. On model-based software development
Binder et al. A novel framework approach enabling model-based requirements validation and verification
Hansen et al. Modeling, algorithm synthesis, and instrumentation for co-simulation in maude