The scheduling problem in time-partitioned avionics systems is gaining interest in the aerospace community. Following this direction, different approaches have been proposed to deal with the scheduling of time-driven tasks and messages. A scheduling algorithm (synchronized highest level first) along ...
Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm. Hum. Factors 2007, 49, 311–330. [CrossRef] [PubMed] 27. Pérez, A.; García, M.I.; Nieto, M.; Pedraza, J.L.; Rodríguez, S.; Zamorano, J. Argos: An advanced in-vehicle data ...