A Formal Framework for Modeling External Behavior of an Embedded System As a Black Box Structure


Embedded systems must be high quality systems and the development of embedded systems involves modeling both the external and internal behaviors of the systems. Cleanroom software engineering (CRSE) life cycle methodology concentrates on the quality issues by considering different formal verification and validation methods introduced at different stages of… (More)


7 Figures and Tables