Papadopoulos et al., 2001 - Google Patents
Model-based synthesis of fault trees from matlab-simulink modelsPapadopoulos et al., 2001
View PDF- Document ID
- 3509393881544344405
- Author
- Papadopoulos Y
- Maruhn M
- Publication year
- Publication venue
- 2001 International Conference on Dependable Systems and Networks
External Links
Snippet
We outline a new approach to safety analysis in which concepts of computer HAZOP are fused with the idea of software fault tree analysis to enable a continuous assessment of an evolving programmable design developed in Matlab-Simulink. We also discuss the …
- 230000015572 biosynthetic process 0 title description 15
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/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- 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
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
-
- 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/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
- G05B19/0426—Programming the control sequence
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- 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/30—Creation or generation of source code
-
- 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
- G05B2219/00—Program-control systems
- G05B2219/30—Nc systems
-
- 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
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/15—Plc structure of the system
-
- 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
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Papadopoulos et al. | Model-based synthesis of fault trees from matlab-simulink models | |
| US10915422B2 (en) | Automatic setting of multitasking configurations for a code-checking system | |
| Heitmeyer | Software cost reduction | |
| US6385765B1 (en) | Specification and verification for concurrent systems with graphical and textual editors | |
| WO2012032890A1 (en) | Source code conversion method and source code conversion program | |
| US12085911B2 (en) | Method, computer program and apparatus for analysing a programmable logic controller program | |
| US12169396B2 (en) | Method for analyzing a Programmable Logic Controller program | |
| Bhatti et al. | Unified functional safety assessment of industrial automation systems | |
| Chivilikhin et al. | Automatic state machine reconstruction from legacy programmable logic controller using data collection and sat solver | |
| Morozov et al. | Openerrorpro: A new tool for stochastic model-based reliability and resilience analysis | |
| Albergo et al. | Understanding xacro misunderstandings | |
| Wei et al. | DECISIVE: Designing critical systems with iterative automated safety analysis | |
| Gario et al. | Fail-safe testing of safety-critical systems: a case study and efficiency analysis | |
| Tundis et al. | Model‐Based Dependability Analysis of Physical Systems with Modelica | |
| Jovanovic | Designing dependable process-oriented software-a CSP-based approach | |
| Elmqvist et al. | Safety-oriented design of component assemblies using safety interfaces | |
| Scippacercola et al. | SysML-based and Prolog-supported FMEA | |
| Papadopoulos et al. | Model-based semiautomatic safety analysis of programmable systems in automotive applications | |
| Pakonen et al. | Transformation of non-standard nuclear I&C logic drawings to formal verification models | |
| KR102870245B1 (en) | Software modelling apparatus for electric field control device for urban railway and method using the same | |
| CN117882050B (en) | Method and system for generating an engineering program compatible with a specific engineering environment | |
| Shtanenko et al. | An Approach to Restore the Proper Functioning of Embedded Systems Due to Adverse Effects | |
| Kececi et al. | System Software Interface for Safety-Related Digital I&C Systems | |
| Ding et al. | Efficient model-level reliability analysis of simulink models | |
| Wilikens et al. | Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems: An Experience Report based on the application of IEC 1508 |