A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Safe Decomposition of Startup Requirements: Verification and Synthesis
[chapter]
2020
Lecture Notes in Computer Science
The initialization of complex cyber-physical systems often requires the interaction of various components that must start up with strict timing requirements on the provision of signals (power, refrigeration, light, etc.). In order to safely allow an independent development of components, it is necessary to ensure a safe decomposition, i.e. the specification of local timing requirements that prevent later integration errors due to the dependencies. We propose a high-level formalism to model
doi:10.1007/978-3-030-45190-5_9
fatcat:urastzmup5hcvj6sxbkmd36wse