Bibliografía

Edward Ashford Lee, Sanjit Arunkumar Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach. MIT Press, 2017. Para modelado. Máquinas de estados, FSM extendidas no deterministas. Composición concurrente de FSM.

Alan Burns, Andy Wellings. Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, 4th Edition. Addison-Wesley, 2009. Para planificación de sistemas de tiempo real.

Jiacun Wang. Real-Time Embedded Systems. Wiley, 2017. Libro de texto complementario de la asignatura. Orientación única hacia model-checking.

Richard Barry. Mastering the FreeRTOS™ Real Time Kernel, A Hands-On Tutorial Guide. Real Time Engineers Ltd, 2016. Para implementación de sistemas de tiempo real.

Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta. nuXmv 2.0.0 User Manual. FBK, 2019. Para verificación formal mediante model-checking.

Brian Kernighan, Dennis Ritchie. The C Programming Language. Prentice-Hall, 1988. Para aprender el lenguaje C.

Claudius Ptolemaeus, Editor. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014. Es el manual de uso de Ptolemy II, que está incluido en la propia distribución de Ptolemy.

Software

Preguntas frecuentes