Publications
Theses
- Integration of Generic Operating Systems in Partitioned Architectures
(M.Sc. thesis)
J. Craveiro
M.Sc. in Informatics Engineering, DI-FCUL, University of Lisbon, 2009
Formats: Abstract, PDF (2.3 MB)
Advisor: J. Rufino (FCUL)
- Development and Update of Aerospace Applications in Partitioned Architectures (M.Sc. thesis)
J. Rosa
M.Sc. in Informatics Engineering, DI-FCUL, University of Lisbon, 2011
Formats: PDF (2.9 MB)
Advisor: J. Rufino (FCUL)
Book chapters
- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
J. Rufino, J. Craveiro, P. Verissimo
in Architecting Dependable Systems VII, LNCS 6420, A. Casimiro, R. de Lemos and C. Gacek (Eds.), 2010
Formats: preprint PDF (961 kB)
Original publication available at www.springerlink.com.
Journal, conference and workshop papers
- Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems (INTERAC Research Network, 1st Plenary Workshop, Braga, Portugal)
J. Rufino, J. Craveiro
Date: July 2008
Formats: PDF (138 kB). - A Portable ARINC 653 Standard Interface (IEEE DASC 2008, St. Paul, MN, USA)
S. Santos, J. Rufino, T. Schoofs, C. Tatibana, J. Windsor
Date: October 2008
Formats: PDF (173 kB). - Embedded Linux in a partitioned architecture for aerospace applications (ACS/IEEE AICCSA 2009, Rabat, Morocco)
J. Craveiro, J. Rufino, C. Almeida, R. Covelo, P. Venda
Date: May 2009
Formats: PDF (290 kB). - AIR Technology: a step towards ARINC 653 in space (Eurospace DASIA 2009, Istanbul, Turkey)
J. Rufino, J. Craveiro, T. Schoofs, C. Tatibana, J. Windsor
Date: May 2009
Formats: PDF (536 kB).
- Flexible Operating System Integration in Partitioned Aerospace Systems (INForum 2009, Lisbon, Portugal)
J. Craveiro, J. Rufino, T. Schoofs, J. Windsor
Date: September 2009
Formats: PDF (295 kB). - Exploiting AIR Composability Towards Spacecraft Onboard Software Update (INForum 2010, Braga, Portugal)
J. Rosa, J. Craveiro, J. Rufino
Date: September 2010
Formats: PDF (533 kB). - Schedulability Analysis in Partitioned Systems for Aerospace Avionics (IEEE ETFA 2010, Bilbao, Spain)
J. Craveiro, J. Rufino
Date: September 2010
Formats: PDF (531 kB). - Building a time- and space- partitioned architecture for the next generation of space vehicle avionics (IFIP SEUS 2010, Waidhofen an der Ybbs, Austria)
J. Rufino, J. Craveiro, P. Verissimo
Date: October 2010
Formats: preprint PDF (522 kB).
Original publication available on www.springerlink.com. - Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software (FACS 2010, Guimarães, Portugal)
J. Craveiro, J. Rufino
Date: October 2010
Formats: PDF (63 kB). - Adaptability Support in Time- and Space- Partitioned Aerospace Systems (IARIA ADAPTIVE 2010, Lisbon, Portugal)
J. Craveiro, J. Rufino
Date: November 2010
Formats: PDF (381 kB). - Adaptability and Survivability in Spaceborne Time- and Space-Partitioned Systems (IEEE R8 EUROCON 2011, Lisbon, Portugal)
J. Rosa, J. Craveiro. J. Rufino
Date: April 2011
Formats: PDF (647 kB). - AIR: Technology Innovation for Future Spacecraft Onboard Computing Systems (IEEE R8 EUROCON 2011, Lisbon, Portugal)
J. Rufino, J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, C. Tatibana
Date: April 2011
Formats: PDF (431 kB). - Safe Online Reconfiguration of Time- and Space-Partitioned Systems (IEEE INDIN 2011, Caparica, Lisbon, Portugal)
J. Rosa, J. Craveiro, J. Rufino
Date: July 2011
Formats: PDF (954 kB). - Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems (ACM SIGBED Review, Vol. 8, No. 3)
J. Craveiro, J. Rufino, F. Singhoff
Date: September 2011
Special Issue on Work-in-Progress (WiP) session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Formats: PDF (629 kB). - Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems (IEEE RTSS 2011 WiP, Vienna, Austria)
J. Craveiro, J. Rosa, J. Rufino
Date: November 2011
Formats: PDF (370 kB).
Technical Reports
These reports are available upon request (contacts here).
- Integration of generic operating systems in partitioned architectures (AIR-II Technical Report RT-08-01)
J. Craveiro
Date: November 2008
M.Sc. thesis midterm report. Superseded by the M.Sc. thesis.
- Characterization of Inaccessibility in IEEE 802.15.4: A Complete Study (AIR-II Technical Report RT-09-01)
J. L. R. Souza and J. Rufino
Date: 2009
- Robustness, Flexibility and Separation of Concerns in ARINC 653-based aerospace systems (AIR-II Technical Report RT-09-02)
J. Craveiro, J. Rufino, T. Schoofs, J. Windsor
Date: June 2009 - Challenges in defining an application development environment for partitioned architectures (AIR-II Technical Report RT-09-03)
J. Rosa, J. Craveiro, J. Rufino, T. Schoofs, J. Windsor
Date: June 2009 - Enhancing Dependability and Real-Time Support in Wireless Sensor Networks (AIR-II Technical Report RT-09-04)
J. L. R. Souza, J. Rufino
Date: October 2009
- Timeliness Control in Time- and Space-Partitioned Architectures (AIR-II Technical Report RT-09-05)
J. Craveiro, J. Rufino, T. Schoofs, J. Windsor
Date: October 2009 - Building Fundamental Properties For Real-Time Wireless Sensor Networks (AIR-II Technical Report RT-10-01)
J. L. R. Souza, J. Rufino
Date: January 2010
- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems (AIR-II Technical Report RT-10-02)
J. Rufino, J. Craveiro, P. Verissimo
Date: March 2010
Document superseded by Architecting Dependable Systems book chapter. - Scheduling and Composability in Partitioned Systems for Aerospace Applications (AIR-II Technical Report RT-10-03)
J. Craveiro, J. Rufino
Date: April 2010 - From MAC to Application Layer: Demystifying the Support for Real-Time Applications on Wireless Networks (AIR-II Technical Report RT-10-04)
J. L. R. Souza, A. P. Afonso, C. Duarte, J. Rufino
Date: March 2010 - Building a Time- and Space-Partitioned Architecture for the Next
Generation of Space Vehicle Avionics (AIR-II Technical Report RT-10-05)
J. Rufino, J. Craveiro, P. Verissimo
Date: May 2010
Document superseded by SEUS 2010 paper. - Exploiting AIR Composability Towards Spacecraft Onboard Software Update (AIR-II Technical Report RT-10-06)
J. Rosa, J. Craveiro, J. Rufino
Date: June 2010
Document superseded by INForum 2010 paper. - Adaptability Support in Time- and Space-Partitioned Aerospace Systems (AIR-II Technical Report RT-10-07)
J. Craveiro, J. Rufino
Date: July 2010
Document superseded by ADAPTIVE 2010 paper. - Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools (AIR-II Technical Report RT-10-08)
J. L. R. Souza, S. Singh, J. Rufino
Date: September 2010 - Timeliness of IEEE 802.15.4 Wireless Networks in the Presence of Errors and Mobility (AIR-II Technical Report RT-10-09)
J. L. R. Souza, J. Rufino
Date: October 2010 - Adaptability and Survivability in Spaceborne Time- and Space-Partitioned Systems (AIR-II Technical Report RT-10-11)
J. Rosa, J. Craveiro, J. Rufino
Date: November 2010
Document superseded by EUROCON 2011 paper.
See also: AIR publications.