Correct-ed through construction: a model-based approach to embedded systems reality
Ethan K. Jackson, János Sztipanovits · 2006
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to correct specifications as they are constructed, driving the engineer towards a more correct specification. We also present a concrete specification language based on this methodology