Embedded Software Design Automation

We argue that operational modeling and analysis of software systems offers an attractive avenue for improving both the productivity of software engineers and the quality of the control-intensive software they produce. Operational modeling forms the basis the tools offered by Reactive Systems, Inc. (RSI) in support of Embedded Software Design Automation (ESDA), an emerging discipline that provides modeling and analysis tools for developers of embedded software. RSI expects that ESDA will make embedded-software development much more like the processes followed in more established engineering disciplines such as electrical, mechanical, and aerospace.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: