Skip to main content
eScholarship
Open Access Publications from the University of California

Specification languages for embedded systems : a survey

Abstract

Requirements specification is an important part of the software development process. Use of well developed techniques, tools, and languages during requirements specification is especially crucial for complex embedded software systems. Four langauges appropriate for the specification of software requirements for complex embedded systems (RSL, PAISLey, Statecharts, and SCR) are reviewed in detail here. In addition, other representation languages with features relevant to the embedded software systems domain are mentioned. Conclusions about the current status of embedded systems requirements specification and indications of further research are given.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View