Statecharts: A visual formalism for complex systems
Science of Computer Programming
Safeware: system safety and computers
Safeware: system safety and computers
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Evaluating software architectures by coloured petri nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
The 4+1 View Model of Architecture
IEEE Software
An Agenda for Specifying Software Components with Complex Data Models
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Checking General Safety Criteria on UML Statecharts
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Architectural Prototyping: An Approach for Grounding Architectural Design and Learning
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Dynamic design and evaluation of software architecture in critical systems development
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
| Hi-index | 0.00 |
Safety-critical systems are systems that can cause undesired loss or damage to life, property, or the environment. Standards for developing safety-critical software often recommend that semi-formal or formal methods should be used to specify, analyze, and verify the behavior of safety-critical software. This paper presents results from a project in which Coloured Petri Nets were used to specify and analyze software safety requirements of a frequency converter being developed by Danfoss Drives. Frequency converters are used to control the speed of motors. The analysis of the model revealed behavior which could lead to hazardous situations or unnecessary failures. Prototype tool support was developed for validating the behavior of an Java-based executable software architecture prototype against the CP-net that specified the desired behavior of the software.