The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically integrate the innovative results needed to face increasing environment and mission complexity. A key idea is to compensate the lack of human intervention by adaptive control. This is instrumental for system resilience: it allows both coping with uncertainty and managing mixed criticality services. Our proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time. It makes knowledge generation and application a primary concern and aims to fully and seamlessly incorporate the adaptive control paradigm in system architecture.
CITATION STYLE
Sifakis, J. (2018). System design in the era of IoT-meeting the autonomy challenge. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 272, pp. 1–22). Open Publishing Association. https://doi.org/10.4204/EPTCS.272.1
Mendeley helps you to discover research relevant for your work.