Guest editors’ introduction: quantitative analysis of real-time embedded systems

This special section is devoted to a selection of journal versions of papers that were presented at the first International Symposium On Leveraging Applications of Formal Methods. All papers are relevant to the field of quantitative systems validation. Three papers report on applying state-of-the-art techniques to (industrial) case studies, whereas one paper addresses the evaluation of networks in building automation.

[1]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.

[2]  Klaus Kabitzsch,et al.  Automated Model Generation from Design Databases at the Example of Building Automation Networks , 2004, ISoLA.

[3]  Marie Duflot,et al.  A formal analysis of bluetooth device discovery , 2006, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[4]  Frits W. Vaandrager,et al.  Model checker aided design of a controller for a wafer scanner , 2006, International Journal on Software Tools for Technology Transfer.