Model-driven design-space exploration for embedded systems: the Octopus Toolset

Autor: Basten, T., van Benthum, E., Geilen, M.C.W., Hendriks, M., Houben, Fred, Igna, G., Reckers, F.J., Smet, de, S., Somers, L.J.A.M., Teeselink, Egbert, Trcka, N., Vaandrager, F.W., Verriet, J.H., Voorhoeve, M., Yang, Y., Margaria, T., Steffen, B.

Publikováno v: Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, 90-105
STARTPAGE=90;ENDPAGE=105;TITLE=Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Lecture Notes in Computer Science ; 6415, 90-105. Berlin : Springer
STARTPAGE=90;ENDPAGE=105;TITLE=Lecture Notes in Computer Science ; 6415
Lecture Notes in Computer Science ISBN: 9783642165573
ISoLA (1)
Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105

The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever possible. Only then, development trajectories become manageable, with high-quality, cost-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85e4097894639168b434a8d59f20c2f7
https://research.tue.nl/nl/publications/55fd7466-ed7a-4ede-b2b6-07e6ec25098e