Venturas.org

Project Management of the Mission Control System (hifly) for the Astra 3B satellite and the hifly for the Astra 1M and 2B satellites (both for EADS Astrium) since June 2007. Technical Manager of the hifly for the Astra 3B satellite between February and June 2007. Software Development: new ground Telemetry interfaces and re-factoring of the hardware encryption layer (C++, CORBA, Linux, Subversion, Eclipse, Mykotronx MYK-14). Senior Software Engineer between March 2006 and February 2007. Software Development: new send-verify-execute functionality in the telecommand chain, general software problem resolution (C++, CORBA, Linux, ILOG Views, Subversion, Eclipse) Technical Writing: User Manuals documentation updates.

GMV Aerospace and Defence, S.A. - C/ Isaac Newton 11 - P.T.M.; E-28760 Tres Cantos www.gmv.com

SDE Testing Environment consultancy: requirements definition, tool survey, selection and test-bed use. Support tasks: software system testing of SCOS-2000, SIMSAT, MCS-TVT and the SLE-API; Maintenance of the www.egos.esa.int and www.elog.esa.int websites (use of JavaScript, PHP, HTML and OpenCMS)

Contractor for Critical Software S.A. at ESA-ESOC; Robert-Bosch-Straße 5; D-64293 Darmstadt www.esoc.esa.int

Technical Manager of the SCOS-2000 Productisation project for documentation upgrades and support material for SCOS-2000 (for ESA/ESOC). Quality Manager of HICOD2000 – High-Performance Coding, Protection and Trading of Satellite Images, Using JPEG2000 – project in partnership with ADETTI (for ESA/ESRIN). Software Engineering: Requirements definition and support for an online help application, a Flash-based multimedia demonstration CD and the future EGOS web portal (UML, Java, Flash) Technical Writing: Update of SCOS-2000 documents to the latest software version. Development and use of new document templates. Application of RAMS analysis to SCOS-2000 in the RAMS01 CoO1 project – Software Failure Modes, Effect and Criticality Analysis (SFMECA) and Code Inspection on SCOS-2000 v2.3e (for ESA/ESOC). Business development: Collaboration in writing administrative, management and financial parts of the HICOD2000 proposal.

Critical Software S.A. – Parque Industrial de Taveiro, Lote 48; P-3045-504 Coimbra www.criticalsoftware.com

Research and specification of a WCET (Worst Case Execution Time) tool, for the HIDOORS project – Development of a Java virtual machine, development environment and support tools to allow the development of distributed, real-time applications for critical environments (EU FP5 project).

Forschungszentrum Informatik an der Universität Karlsruhe (FZI) - Haid-und-Neu Str. 10-14; D-76131 Karlsruhe www.fzi.de

Project Management of HIDOORS. Technical Management of the IASI Level 2 Product Processing Facility – Development of the software for processing the data from the IASI instrument onboard EUMETSAT’s EPS satellites (for Alcatel Space and EUMETSAT). Software Architect in the Land-SAF – Surface Application Facility to generate meteorological products (for the Portuguese Meteorological Institute and EUMETSAT). Software Engineering: definition of the Software Development and Software Verification and Validation Plans; Definition of Architectural and Detailed Design Documents, Software Requirements Documents (using UML, SADT, and ESA’s BSSC 98(1) and PSS-05). Business development: Writing of management and technical proposals, planning, budgeting and scheduling. System Administration: Server infrastructure relocation to new offices, DNS, Livingstone IRX-211 Firewall, Sun Solaris 8, RedHat Linux 7.2, Windows Small Business Server 4.5, Windows 2000 Professional.

Skysoft Portugal S.A. - Av. Conselheiro Fernando de Sousa 19, 12º; P-1070-072 Lisboa www.skysoft.pt

Project Manager of the GASCA project – Design and development of a generic architecture for use in the aviation industry (Project for the European Commission). Team co-ordination and project invoicing. Software Engineering: Software Design and Development (C, ARINC 653, VAPS, Tcl, Linux) Project Manager of the SDLS project – Development of a satellite system for usage by the general aviation industry (Project for ESA). Team co-ordination and project invoicing. Market surveys of existing technologies (CPDLC, SATCOM, X.25, TCP/IP, Inmarsat’s SATCOM services and Iridum) Software Engineer in the AFMS – Design and develop a system based on the SARPs of the digital communication protocols for the new general aviation systems (Project for the European Commission). Software Engineering: Develop data conversion routines for the CPDLC protocol (C, XDR, ASN.1, RPC, Solaris, Linux). Business development: Writing of technical, management and financial proposals, planning, budgeting and scheduling (PRODAT-3 Hub Station Upgrade, SDLS-2, GASCA follow-up) System Administration: Server infrastructure relocation to new offices, DNS, Livingstone IRX-211 Firewall, Sun Solaris 8, RedHat Linux 7.2, Windows Small Business Server 4.5, Windows 2000 Professional.

(first as RTSN) Skysoft Portugal S.A. - Taguspark, Núcleo Central 337; P-2780-920 Oeiras www.skysoft.pt

System Administration: Install and manage a Linux server to provide Internet access to the students of the University. (Linux). Software Development: Co-authorship and maintenance of a Linux kernel module to enforce network quota (Linux Kernel, C)

Serviços de Informática da FCT/UNL - Campus da FCT/UNL, Edificio III; P-2829-516 Caparica www.si.fct.unl.pt

Hardware technician in charge of assembly and repairing PCs.

Farcópia, Equipamentos de Escritório, Lda. - Rua do Alportel Nº 208 / 212; P-8000-289 Faro www.farcopia.pt

Master's thesis on "Response Time Analysis of Composable Micro-Protocols", under supervision of Dr. Luís Rodrigues.

FC/UL - Faculty of Sciences of the University of Lisbon (Faculdade de Ciências da Universidade de Lisboa)

Diploma work performed in the Technical University of Wroclaw (Poland) in the scope of the TEMPUS scheme under the theme "Neural Networks implementation in parallel distributed processing systems", under supervision of Dr. Urszula Kaczmar and Dr. José Cardoso e Cunha.

FCT/UNL - Faculty of Science and Technology of the New University of Lisbon (Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa)

Coordinate and Time Systems; Kepler Orbits; n-body Problem; Orbital Perturbations Theory; Propelled Orbital Shifts; Artificial Satellite Orbits; Interplanetary Trajectories; Attitude Dynamics

GMV Aerospace and Defence, S.A.

Use of ESOC’s Spacecraft Simulation Infrastructure.

Vega GmbH on behalf of ESA-ESOC

Sparx Systems Enterprise Architect 4.5 UML modelling tool

Deiser

Architecture and Design of SCOS-2000 version 3.0.

SciSys on behalf of ESA-ESOC

How to write a clear and conformant Technical, Management and Financial proposal in reply to an ESA Invitation to Tender.

ESA SME division

How to enhance the security of Solaris 8 based systems

Sun Microsystems

How to work in teams with a view to an ISO-9001 compliant work environment.

Visão 2000

Team-work: I have worked for several years in multiple projects as a team member. In some of these cases I was also the team manager. Multicultural experience: I have studied and lived in Germany, Spain and Poland.

Small engineering teams management for international projects. Project planning and budgeting for international tenders. Member of the ISORC 2002 Program Committee, where I have reviewed and decided on the acceptance of submitted papers. Open-Source Projects collaboration: Co-creation and maintenance of useripacct, a module for the kernel of the Linux operating system, that provides accounting information of the IP traffic for the users of the machine.

Programming Languages Structured Languages: C, Pascal, and COBOL. Object Oriented Languages: C++, Delphi, Java. Database Languages: MySQL, PL/SQL, Clipper, Dbase. Server and Client Web languages: PHP, JavaScript, HTML, XHTML. Machine-level Languages: assembler Intel x86, assembler Motorola 680x0. Others: CORBA, Visual Basic, Prolog, ML, Perl, Lex, Flex, Yacc, Bison, UNIX scripts. Modelling Methods: Structured Methods: Yourdon, SADT. Object-Oriented Methods: UML. Operating Systems Single-user systems: Windows 3.x/95/98/Me, OS/2, MS-DOS, Atari ST TOS. Multi-user systems: UNIX (Linux, IBM AIX, HP–UX, Sun Solaris), Windows NT/2000/XP. Mobile systems: PalmOS. Aerospace Standards: RTCA DO-178B, ESA PSS-05, ECSS-E40 & Q-80, ARINC 653. Microsoft Certified Professional successfully tested on the following exam: 70-210: Installing, Configuring, and Administering Microsoft Windows 2000 Professional. Sun Certified Programmer for the Java 2 Platform 1.4 Member of the Ordem dos Engenheiros (Portuguese Engineering Association).

Proficient computer user in most operating systems. In depth-knowledge of Microsoft Office (Word, Excel, Outlook, Powerpoint, Visio, Access) and Microsoft Project. Capable user of LaTeX.

I like to practice alpine skiing, scuba diving and cross-country biking.

Class B

Journal Articles: J. Rodrigues, J. Ventura, A.M. de Campos, L. Rodrigues, "Implementation and analysis of real-time communication protocol compositions", Real-Time Systems, vol. 37, issue 1, Springer Netherlands, pages 45-76, October 2007. Conference Papers: J. Rodrigues, J. Ventura and L. Rodrigues, “Schedulability Analysis of an Event-based Real-Time Protocol Framework”. In Proceedings of WORDS 2002 - Seventh International Workshop on Object-oriented Real-time Dependable Systems, pages 319-325, San Diego - California, USA, January 2002. J. Ventura, F. Siebert, A. Walter and J. Hunt, “HIDOORS - A high integrity distributed deterministic Java environment”. In Proceedings of WORDS 2002 - Seventh International Workshop on Object-oriented Real-time Dependable Systems, pages 113-118, San Diego - California, USA, January 2002. J. Ventura, J. Rodrigues and L. Rodrigues, "Response Time Analysis of Composable Micro-Protocols". In Proceedings of ISORC 2001 - The 4th IEEE International Symposium on Object-oriented Real-time distributed Computing, pages 335-342, Magdeburg, Germany, May 2001. J. Rodrigues, H. Miranda, J. Ventura and L. Rodrigues, "The Design of RT-Appia". In Proceedings of WORDS 2001 - 6th International Workshop on Object-oriented Real-time Dependable Systems, pages 261-268, Rome, Italy, January 2001. J. Ventura and J. Neves, “GASCA — Generic Avionics Scaleable Computing Architecture”. In Proceedings of DASIA 99 - Data Systems in Aerospace Conference, pages 393-399, Lisbon, Portugal, May 1999. ESA SP-447.