Design of safety critical and control systems of Nuclear Power Plants using Petri nets
Non-functional requirements plays a critical role in designing variety of applications domain ranges from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirement, especially in control and safety systems, that validates the design. System r...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2019-08-01
|
| Series: | Nuclear Engineering and Technology |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1738573318309276 |