Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading indu

Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of ser

Architecture Description Languages is an essential reference for both academic and professional researchers in the field of system engineering and design. The p

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-revi