Rigorous System Design

Joseph Sifakis
2012 Foundations and Trends® in Electronic Design Automation  
Separation of concerns: Keep separate what functionality is provided (application SW) from how its is implemented by using resources of the target platform Coherency: Based on a single model to avoid gaps between steps due to the use of semantically unrelated formalisms e.g. for programming, HW description, validation and simulation, breaking continuity of the design flow and jeopardizing its coherency Components: Use components for productivity and enhanced correctness
more » ... on: Overcome limitations of a posteriori verification through extensive use of provably correct reference architectures enforcing essential properties as well as source-to-source transformations
doi:10.1561/1000000034 fatcat:gwvs34l3njesnete23mjsq7oce