Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality

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.

• Type: Conference
• Year: 2006
• Where: ECBS
• Authors: Ethan K. Jackson, Janos Sztipanovits
• Keywords: Correct Specification, ECBS 2006, Embedded Systems, Embedded Systems Design, Hardware