The increasing complexity of embedded systems makes the formal specification of requirements both more important and more difficult. Services can help provide a foundation for model-driven requirements engineering for multi-functional embedded systems. This paper provides a conceptual framework that applies a novel modeling approach to the development of embedded systems. We suggest tables as pragmatic specification formalism for a both precise and readable specification of systems, their interfaces, and their functional properties. By translating tables into logical formulas, which define precise semantics for them, the structure specification and refinement of system can be contained. The approach is illustrated by a case study - a tabular specification of a SwStore system.
展开▼