Ementa/Descrição: |
Introdução, motivação e exemplos de Sistemas Ciber-Físicos. Modelagem de sistemas contínuos, discretos e híbridos, máquinas de estado, composição e concorrência. Projeto de Sistemas Ciber-Físicos com sensores e atuadores inteligentes: perspectiva de sistemas distribuídos, processamento, armazenamento, comunicação, sincronização, escalonamento, concorrência e paralelismo. Projeto de Sistemas Ciber-Físicos visando verificação: projeto baseado em contratos especificados com lógica temporal e lógica de separação. |
Referências: |
- Lee, E. and Seshia, S., Introduction to Embedded Systems, A Cyber-Physical Systems Approach, ISBN 978-0-557-70857-4, 2011.
- Saltzer, J. and Kaashoek, M., Principles of Computer System Design: An Introduction, ISBN 978-0-123-74957-4, 2009.
- van Staden, S., Calcagno, C. and Meyer, B., Verifying Executable Object-Oriented Specifications with Separation Logic, Proceedings of the 24th European Conference on Object-Oriented Programming, pages 151-174, 2010. |