Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Symbolic model checking for probabilistic timed automata
Information and Computation
Safety and Dependability Analysis of Self-Adaptive Systems
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Component-Based hazard analysis: optimal designs, product lines, and online-reconfiguration
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
A survey of UML applications in mechatronic systems
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Self-optimization in mechatronic systems often is achieved by the change of their component structure during runtime. As their operation often is safety-critical we need to know which error combinations lead to hazards. By now our hazard analysis considers no time and only individual component structures without the transitions between them. Consequently, we get inaccurate results when analyzing self-optimizing systems. We propose to improve our current hazard analysis considering time and the system behavior during the change of the component structure. This is achieved by the probabilistic model checking of the system behavior and the analysis of the structure transformation.