Search Results

Documents authored by Castrillón-Mazo, Jerónimo

Document
DOI: 10.4230/DagRep.15.2.126
Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091)

Authors: Jerónimo Castrillón-Mazo, Chadlia Jerad, Edward A. Lee, Claire Pagetti, and Shaokai Jerry Lin

Published in: Dagstuhl Reports, Volume 15, Issue 2 (2025)

Abstract
Reactive systems - software systems that continuously interact with their physical or digital environment - are central to safety-critical domains such as autonomous vehicles, industrial automation, and medical devices. These systems face inherent design tensions: the need to be predictable yet adaptable, timely yet accurate, consistent yet available, and secure yet accessible. Addressing one requirement often undermines another, revealing tradeoffs that are not merely engineering challenges but fundamental limits. This seminar aimed to confront these tradeoffs directly, drawing on insights from real-time systems, distributed computing, formal methods, machine learning, and security. By exploring case studies, formal frameworks, and practical tools, we made progress in the understanding of how to make design decisions when no single solution satisfies all competing goals. Interactive sessions and demos gave participants a tangible sense of the costs and compromises involved. With all this, we achieved the seminar’s goal, namely, to cultivate a shared understanding of how to navigate the complex design space of reactive systems and chart paths toward more robust and principled solutions.
Cite as

Jerónimo Castrillón-Mazo, Chadlia Jerad, Edward A. Lee, Claire Pagetti, and Shaokai Jerry Lin. Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091). In Dagstuhl Reports, Volume 15, Issue 2, pp. 126-157, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{castrillonmazo_et_al:DagRep.15.2.126,
  author =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Jerad, Chadlia and Lee, Edward A. and Pagetti, Claire and Lin, Shaokai Jerry},
  title =	{{Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091)}},
  pages =	{126--157},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2025},
  volume =	{15},
  number =	{2},
  editor =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Jerad, Chadlia and Lee, Edward A. and Pagetti, Claire and Lin, Shaokai Jerry},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.2.126},
  URN =		{urn:nbn:de:0030-drops-230878},
  doi =		{10.4230/DagRep.15.2.126},
  annote =	{Keywords: reactive systems, cyber-physical systems, design tradeoffs, real-time systems, distributed computing, predictability, adaptability, timeliness, accuracy, consistency, availability, security, accessibility, machine learning, formal methods, system design, embedded systems, safety-critical systems, tool support, programming models, runtime verification}
}
Document
DOI: 10.4230/DagRep.7.2.1
Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)

Authors: Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber

Published in: Dagstuhl Reports, Volume 7, Issue 2 (2017)

Abstract
The end of exponential scaling in conventional CMOS technologies has been forecasted for many years by now. While advances in fabrication made it possible to reach limits beyond those predicted, the so anticipated end seems to be imminent today. The main goal of the seminar 17061 "Wildly Heterogeneous Post-CMOS Technologies Meet Software" was to discuss bridges between material research, hardware components and, ultimately, software for information processing systems. By bringing together experts from the individual fields and also researchers working interdisciplinarily across fields, the seminar helped to foster a mutual understanding about the challenges of advancing computing beyond current CMOS technology and to create long-term visions about a future hardware/software stack.
Cite as

Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber. Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061). In Dagstuhl Reports, Volume 7, Issue 2, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Article{castrillonmazo_et_al:DagRep.7.2.1,
  author =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  title =	{{Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.1},
  URN =		{urn:nbn:de:0030-drops-73499},
  doi =		{10.4230/DagRep.7.2.1},
  annote =	{Keywords: 3D integration, compilers, emerging post-CMOS circuit materials and technologies, hardware/software co-design, heterogeneous hardware, nanoelectronics}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact