AIR-II: ARINC 653 In Space RTOS - Industrial Initiative

Revision as of 13:25, 25 October 2012 by Jcraveiro (Talk | contribs)

Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
Duration: 24 monthswarning.png"months" is not declared as a valid unit of measurement for this property. months
Team at FCUL: Researchers including José Rufino, João Pedro Craveiro

Publications

João Pedro Craveiro, “Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures”, Ph.D. dissertation, University of Lisbon, Lisbon, Portugal, Aug. 2013. Defended in 2014

Jeferson L. R. Souza, André Guerreiro, José Rufino, “Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.

Jeferson L. R. Souza, José Rufino, “An Approach to Enhance the Timeliness of Wireless Communications”, in Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011., Nov. 2011.

João Pedro Craveiro, José Rufino, Frank Singhoff, “Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”, ACM SIGBED Review, vol. 8, no. 3, Jul. 2011. Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011)

Joaquim Rosa, João Pedro Craveiro, José Rufino, “Safe Online Reconfiguration of Time- and Space-Partitioned Systems”, in 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011.

Joaquim Rosa, “Development and Update of Aerospace Applications in Partitioned Architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, May 2011.

João Pedro Craveiro, José Rufino, “Adaptability Support in Time- and Space-Partitioned Aerospace Systems”, in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.

José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.

João Pedro Craveiro, José Rufino, “Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”, in FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, Guimarães, Portugal, Oct. 2010.

José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.

João Pedro Craveiro, José Rufino, “Schedulability Analysis in Partitioned Systems for Aerospace Avionics”, in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 2010.

Joaquim Rosa, João Pedro Craveiro, José Rufino, “Exploiting AIR Composability towards Spacecraft Onboard Software Update”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sept. 2010.

Jeferson L. R. Souza, José Rufino, “Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?”, in Actas do INForum - Simpósio de Informática 2009 (Work in Progress Session), Lisbon, Portugal, September 2009., Sept. 2009.

Jeferson L. R. Souza, José Rufino, “Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard”, in Analysis, Architectures and Modelling of Embedded Systems. Proceedings of the Third IFIP TC 10 International Embedded Systems Symposium (IESS 2009), Langenargen, Germany, September, 2009. Series: IFIP Advances in Information and Communication Technology., Sept. 2009.

João Pedro Craveiro, José Rufino, Tobias Schoofs, James Windsor, “Flexible Operating System Integration in Partitioned Aerospace Systems”, in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.

João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculty of Sciences, University of Lisbon, Sept. 2009.

José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “AIR Technology: a step towards ARINC 653 in space”, in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.

Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor, “An Integrated Modular Avionics Development Environment”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009., May 2009.

João Pedro Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda, “Embedded Linux in a partitioned architecture for aerospace applications”, in Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009.

João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, 2009.

Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor, “A Portable ARINC 653 Standard Interface”, in Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008., Oct. 2008.

Edgar Pascoal, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Jul. 2008.

Edgar Pascoal, José Rufino, Tobias Schoofs, James Windsor, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2008). Palma de Majorca, Spain, May 2008., May 2008.

Current projects:	VEDLIoT, SATO, ADMORPH, SEAL, AQUAMON, UPVN, REDBOOK, ThreatAdapt, SEL, Xivt
Past projects:	TCLOUDS, MASSIF, MAFTIA, RESIST NoE, DiSIEM, KARYON, HIDENETS, CORTEX, CRUTIAL, TRONE, SITAN, ReD, IRCoC, DIVERSE, CloudFIT, READAPT, REGENESYS, RC-Clouds, TACID, DARIO, RITAS, AJECT, MICRA, DEAR-COTS, COPE, DEFEATS, MOOSCO, TOPCOM, RE:DY, NORTH, Abyss, SUPERCLOUD, COST Action IC1402, SEGRID, BioBankCloud, PROPHECY, SAPIENT, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR