Publications

Theses

  1. 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)
  2. 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

  1. 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

  1. 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).
  2. 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).
  3. 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).
  4. 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).
  5. 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).
  6. 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).
  7. Schedulability Analysis in Partitioned Systems for Aerospace Avionics (IEEE ETFA 2010, Bilbao, Spain)
    J. Craveiro, J. Rufino
    Date: September 2010
    Formats: PDF (531 kB).
  8. 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.
  9. 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).
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. 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).
  15. 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).

  1. 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.
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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.
  9. Scheduling and Composability in Partitioned Systems for Aerospace Applications (AIR-II Technical Report RT-10-03)
    J. Craveiro, J. Rufino
    Date: April 2010
  10. 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
  11. 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.
  12. 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.
  13. 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.
  14. 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
  15. 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
  16. 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.