Guest editors’ introduction: quantitative analysis of real-time embedded systems
Tóm tắt
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.
Tài liệu tham khảo
Duflot, M., Kwiatkowska, M.Z., Norman, G., Parker, D.: A formal analysis of Bluetooth device discovery. (This issue) 2006
Hendriks, M., van den Nieuwelaar, B., Vaandrager, F.W.: Model checker aided design of a controller for a wafer scanner. (This issue) 2006
Plönnigs, J., Neugebauer, M., Kabitzsch, K.: Automated model generation from design databases at the example of design automation. (This issue) 2006
Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis – a case study. (This issue) 2006