• Aucun résultat trouvé

[PDF] Top 20 Formal development process of safety critical embedded human machine interface systems

Has 10000 "Formal development process of safety critical embedded human machine interface systems" found on our website. Below are the top 20 most common "Formal development process of safety critical embedded human machine interface systems".

Formal development process of safety critical embedded human machine interface systems

Formal development process of safety critical embedded human machine interface systems

... Keywords—Human machine interface, formal methods, specification, verification, integration, LIDL, Lustre, HLL, S3 ...implementing Human Machine Interface (HMI) ... Voir le document complet

9

Formal development process of safety critical embedded human machine interface systems

Formal development process of safety critical embedded human machine interface systems

... Keywords—Human machine interface, formal methods, specification, verification, integration, LIDL, Lustre, HLL, S3 ...implementing Human Machine Interface (HMI) ... Voir le document complet

10

Refinement Based Formal Development of Human-Machine Interface

Refinement Based Formal Development of Human-Machine Interface

... the formal development of HMI, but most of them use different methods such as Petri net [ 31 ], process algebra [ 22 ] and model check- ing [ 2 ...a formal devel- opment ... Voir le document complet

18

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

... values of n experi- mented (no error transition in the reachability ...values of n greater than 50, the system started to work less efficiently ...receive of their allocation sometimes happened after ... Voir le document complet

29

Beyond Formal Methods for Critical Interactive Systems:   Dealing with Faults at Runtime

Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime

... tion of interactive systems by means of complete and un- ambiguous description of the envisioned ...opment process in supported by formal methods (for in- stance as required by ... Voir le document complet

6

Biocompatible Glycine‐Assisted Catalysis of the Sol‐Gel Process: Development of Cell‐Embedded Hydrogels

Biocompatible Glycine‐Assisted Catalysis of the Sol‐Gel Process: Development of Cell‐Embedded Hydrogels

... number of reticulation knots, speeding the establishment of a 3D ...instead of less than ...concentration of 240 mM ...hydrolysis of TEOS, increasing the concentration to 812 mM ... Voir le document complet

14

A Formal Framework to Specify and Verify Real Time Properties on Critical Systems

A Formal Framework to Specify and Verify Real Time Properties on Critical Systems

... plug-in of Topcased to check properties on the NPL ...typical development computer (Intel dual-core processor at 2GHz with 2Gb of ...examples of this size, our model checker is able to prove ... Voir le document complet

28

From safety analysis to experimental validation by fault injection - Case of automotive embedded systems

From safety analysis to experimental validation by fault injection - Case of automotive embedded systems

... oracle(s) of fault injection ...one of the main chal- lenges for ...forms of oracles: i) specification, ii) error detection mechanisms and iii) golden run (Leeke & Jhumka, ...definition of ... Voir le document complet

147

Comparative Analysis of Operation and Safety of Subcritical Nuclear Systems and Innovative Critical Reactors

Comparative Analysis of Operation and Safety of Subcritical Nuclear Systems and Innovative Critical Reactors

... Generalities of hybrid systems As demonstrated in previous Chapters, the core subcriticality will improve the safety, in particularly, when feedback effects, the delayed neutron fraction or other ... Voir le document complet

142

On formal safety assessment (FSA) procedure

On formal safety assessment (FSA) procedure

... The safety of vessels has been of concern to mariners for ...Concepts of vessel stability, the possibility of capsizing and structural integrity have been recognized by shipbuilders and ... Voir le document complet

11

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

... offer development processes that allow to con- ceive real-time embedded ...reconfigurable systems. In this direction, TimeAdapt [20] is a development process for reconfigurable system ... Voir le document complet

23

Detecting food safety risks and human tracking using interpretable machine learning methods/

Detecting food safety risks and human tracking using interpretable machine learning methods/

... 3.4.1 Pre-Processing In order to focus on textual features we conduct a rigorous pre-processing of the advertisements to remove unnecessary or overly specific information using regular expressions. We cleaned up ... Voir le document complet

80

Optimal Design of Modular High Performance Brushless Wound Rotor Synchronous Machine for embedded systems

Optimal Design of Modular High Performance Brushless Wound Rotor Synchronous Machine for embedded systems

... the machine geometry and linearize the magnetic properties by using some form of equivalent ...one of the solution is to use numerical models based on FE ...the development of computer ... Voir le document complet

167

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

... Black box proposal through Frama-C. For the full translation validation we are considering a following approach. The Frama-C toolset provides C code manipulation facilities and is extensible using plugins. It is thus ... Voir le document complet

17

Authority Management and Conflict Solving in Human-Machine Systems

Authority Management and Conflict Solving in Human-Machine Systems

... occurrence of a conflict during flight management ...all of the pilot’s mental efforts toward a single objective (excessive focus on a single display or focus of the pilot’s reasoning on a single ... Voir le document complet

11

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems

... terms of performance, this work denotes that they still need to test this approach on larger ...class of timed automaton in [10], then translate them to concrete programs for model checkers ...extraction ... Voir le document complet

17

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

... properties of numerical algo- rithm implementations was performed on the other con- text of linear controller stability Feron ...soundness of the imperative ... Voir le document complet

9

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report

... the safety analysis from the software development. The safety analysis identifies both the nominal (intended and expected) behavior of the system and the defective behavior caused by the ... Voir le document complet

23

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

... sensory process- ing stage (in Figure 2) could be migrated to the informa- tion acquisition stage (in Figure 3) by developing hardware ...the human model could be automated by developing inferential ... Voir le document complet

13

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

... to embedded system design. It defines a set of meta-model representing the following: (i) application to capture functionality by means of processes communicating; (ii) platform to indicate available ... Voir le document complet

22

Show all 10000 documents...