— Related

This page is dedicated to publications related to the AIR activities.

Journal, conference and workshop papers

1. AMOBA - ARINC 653 simulator for modular based space applications (Eurospace DASIA 2008, Palma de Majorca, Spain)
   E. Pascoal, J. Rufino, T. Schoofs, J. Windsor
   Date: May 2008
   Formats: PDF (198 kB).
2. Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm (EUROMICRO ECRTS 2008, Prague, Czech Republic)
   M. Coutinho, J. Rufino, C. Almeida
   Date: July 2008
   Formats: PDF (527 kB).
3. An IMA Development Environment (Eurospace DASIA 2009, Istanbul, Turkey)
   T. Schoofs, S. Santos, C. Tatibana, J. Anjos, J. Rufino, J. Windsor
   Date: May 2009
   To appear.
4. RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System (Eurospace DASIA 2009, Istanbul, Turkey)
   H. Silva, A. Constantino, D. Freitas, M. Coutinho, S. Faustino, M. Mota, P. Colaço, J. Sousa, L. Dias, B. Damjanovic, M. Zulianello, J. Rufino
   Date: May 2009
   Formats: PDF (491 kB).
   
5. RTEMS Improvement - Space Qualification of RTEMS Executive (INForum 2009, Lisbon, Portugal)
   H. Silva, J. Sousa, D. Freitas, S. Faustino, A. Constantino, M. Coutinho
   Date: September 2009
   Formats: PDF (505 kB).
   
6. Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15.4 standard (IFIP IESS 2009, Langenargen, Germany)
   J. L. R. Souza, J. Rufino
   Date: September 2009
   Formats: PDF (230 kB).
7. Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ? (INForum 2009, Lisbon, Portugal)
   J. L. R. Souza, J. Rufino
   Date: September 2009
   Formats: PDF (322 kB).
8. Enforcing Dependability and Timeliness in CANELy: Application to Spaceborne Data Communication Systems (PECCS 2011, Vilamoura, Portugal)
   J. Rufino, P. Verissimo, R. Pinto, C. Almeida, G. Arroz
   Date: March 2011
   Formats: PDF (339 kB).
9. High Availability in Controller Area Networks (IEEE R8 EUROCON 2011, Lisbon, Portugal)
   R. Pinto, J. Rufino, C. Almeida
   Date: April 2011
   Formats: PDF (747 kB).
10. An Approach to Enhance the Timelinessof Wireless Communications (UBICOMM 2011, Lisbon, Portugal)
    J. L. R. Souza and J. Rufino
    Date: November 2011
    Formats: PDF (410 kB).

Theses

1. AMOBA - ARINC 653 simulator for modular space based applications (M.Sc. thesis)
   E. Pascoal (Skysoft)
   M.Sc. in Informatics Engineering, DI-FCUL, University of Lisbon, 2008
   Formats: PDF (745 kB).
   Advisors: J. Rufino (FCUL) and T. Schoofs (Skysoft)
   
2. Memory protection and qualification of real-time operating systems for space applications (M.Sc. thesis)
   J. Sousa (Edisoft)
   M.Sc. in Informatics Engineering, DI-FCUL, University of Lisbon, 2009
   Formats: PDF (1 MB)
   Advisors: J. Rufino (FCUL) and H. Silva (Edisoft)
3. Mechanisms for Enhanced Dependability and Timeliness in CAN (M.Sc. Thesis)
   R. Pinto (IST)
   M.Sc. in Electrical and Computer Engineering, IST, Technical University of Lisbon, 2010
   Formats: Abstract and download
   Advisors: J. Rufino (FCUL) and C. Almeida (IST)

See also: AIR publications.