Aspects of adaptive systems engineering: a professional printing case

Autor: Hamberg, R., Waarsing, R., Basten, T., Reckers, F.J., Verriet, J.H., Somers, L.J.A.M., Reckers, F., Verriet, J.

Publikováno v: Model-Based Design of Adaptive Embedded Systems, 11-40
STARTPAGE=11;ENDPAGE=40;TITLE=Model-Based Design of Adaptive Embedded Systems
Embedded Systems ISBN: 9781461448204

Adaptive systems engineering comprises two individual themes, adaptive systems and systems engineering, and their interaction. In the Octopus project, some challenges that arise from these themes have been addressed in the realm of professional print

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ad005e980e861e45604a1901bb910eb
https://research.tue.nl/nl/publications/1aef686f-5d80-42b7-9769-cddeae1ef51c

Adaptivity in Professional Printing Systems

Autor: Verriet, J.H., Basten, T, Hamberg, R., Reckers, F.J., Somers, L.

Publikováno v: Basten, T.Hamberg, R.Reckers, F.J.Verriet, J.H., Model-Based Design of Adaptive Embedded Systems, 1-9

There is a constant pressure on developers of embedded systems to simultaneously increase system functionality and to decrease development costs. Aviable way to obtain a better system performance with the same physical hardware is adaptivity: a syste

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::165a5be32c286936cdd0362c36688253
http://resolver.tudelft.nl/uuid:4b5a25d6-8802-4ff1-a530-aa2c73ce8693

Reflections on the Octopus Project

Autor: Reckers, F.J., Basten, T., Hamberg, R., Verriet, J.H.

Publikováno v: Basten, T.Hamberg, R.Reckers, F.J.Verriet, J.H., Model-Based Design of Adaptive Embedded Systems, 283-289

How to develop adaptive high-tech embedded systems? This question has motivated this book. Adaptivity provides a wider operational envelope of systems and enables new market opportunities. Effective development of such systems requires a systematic a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d22671b6ef6f711d790d39de023fa97b
http://resolver.tudelft.nl/uuid:4cf57ff1-e899-4d93-a938-82d9d3eebf76

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

DSET: design-space exploration toolset

Autor: Chen, Xiaochen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::305b65a4cba361a81eca940d16d32603
https://research.tue.nl/nl/publications/9a8fe0d4-603f-4292-a99c-ee15b3da8a3b