Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Reasoning about infinite computations
Information and Computation
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Supporting Requirements Model Evolution throughout the System Life-Cycle
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
System Safety Requirements as Control Structures
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Tool support for agent-based systems in ptolemy
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss
Hi-index | 0.00 |
The research is motivated by the challenge from the evolution of safety requirements, which leads to revision of system designs at design-time or post-implementation at a high cost. This paper proposes a complementary methodology, namely the model monitoring approach, to better support the evolution throughout the life-cycle at a lower cost.