Thompson et al., 1999 - Google Patents
Specification-based prototyping for embedded systemsThompson et al., 1999
View PDF- Document ID
- 11402083051386673089
- Author
- Thompson J
- Heimdahl M
- Miller S
- Publication year
- Publication venue
- ACM SIGSOFT Software Engineering Notes
External Links
Snippet
Specification of software for safety critical, embedded computer systems has been widely addressed in literature. To achieve the high level of confidence in a specification's correctness necessary in many applications, manual inspections, formal verification, and …
- 238000000034 method 0 abstract description 33
Classifications
-
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
- G06F2217/70—Fault tolerant, i.e. transient fault suppression
-
- 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/20—Software design
-
- 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
-
- 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
- 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 |
---|---|---|
Thompson et al. | Specification-based prototyping for embedded systems | |
Heitmeyer | Software cost reduction | |
US10657029B2 (en) | Partitioning block diagrams into executable contextual models | |
Zimmermann | Modeling and evaluation of stochastic Petri nets with TimeNET 4.1 | |
Heitmeyer et al. | SCR: A toolset for specifying and analyzing software requirements | |
US8869103B2 (en) | Using intermediate representations to verify computer-executable code generated from a model | |
US8856726B2 (en) | Verification of computer-executable code generated from a slice of a model | |
US9639332B2 (en) | Applying coding standards in graphical programming environments | |
US10860298B2 (en) | Method and system for editing a block diagram model | |
Pohlmann et al. | Generating functional mockup units from software specifications | |
US20140214396A1 (en) | Specification properties creation for a visual model of a system | |
Hu et al. | Quality model based on ISO/IEC 9126 for internal quality of MATLAB/Simulink/Stateflow models | |
Bhatt et al. | Requirements-driven model checking and test generation for comprehensive verification | |
Heitmeyer | Formal methods for specifying, validating, and verifying requirements. | |
Halang et al. | Achieving high integrity of process control software by graphical design and formal verification | |
Asur et al. | Taxonomy of rapid-prototyping methods and tools | |
Blackburn | Using models for test generation and analysis | |
Ge et al. | Formal development process of safety-critical embedded human machine interface systems | |
Wen et al. | “Integrare”, a collaborative environment for behavior-oriented design | |
Thompson et al. | An integrated development environment for prototyping safety critical systems | |
EP2718821B1 (en) | Verification of computer-executable code generated from a model | |
Gibson et al. | Achieving verifiable and high integrity instrumentation and control systems through complexity awareness and constrained design. final report | |
Chaari et al. | Automation of failure propagation analysis through metamodeling and code generation | |
Heimdahl et al. | Specification based prototyping of control systems | |
Sun et al. | Defining and reasoning about model-based safety analysis: A review |