3A.2 Modeling ARINC-653 systems in UML - Embedded Real Time ...

ePAPER READ

DOWNLOAD ePAPER

erts2012.org

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

PROCESS_ID_TYPE UpdatePos_id;

QUEUING_PORT_ID_TYPE PosData_id;

void usrAppInit()

{

#ifdef USER_APPL_INIT

USER_APPL_INIT; /* for backwards compatibility */

#endif

PROCESS_ATTRIBUTE_TYPE UpdatePos_attr;

static const char UpdatePos_name[] = "UpdatePos";

RETURN_CODE_TYPE rc;

int i;

for(i = 0; i

Avionic-X: A demonstrator for the Next Generation Launcher Avionics

4A.1 SCADE System, a comprehensive toolset for smooth transition ...

Integrating Formal Program Verification with Testing

ISO 26262 Compliant Automatic Requirements-Based Testing for ...

A SysML/MARTE high level methodology for real-time - Embedded ...

PROGRAMME - Embedded Real Time Software and Systems

Security and Safety Assurance for Aerospace Embedded Systems

SysML for embedded automotive Systems: lessons learned

Requirements and Test Case Tracing - Embedded Real Time ...

Applying the AUTOSAR timing protection to build safe and efficient ...

A Simulator based on QEMU and SystemC for Robustness ... - SEE

AUTOSAR BSW in real life: A summary of the last years - Embedded ...

AUTOSAR: Achievements, roll-out, perspectives

PROCESS_ID_TYPE UpdatePos_id; QUEUING_PORT_ID_TYPE PosData_id; void usrAppInit() { #ifdef USER_APPL_INIT USER_APPL_INIT; /* for backwards compatibility */ #endif PROCESS_ATTRIBUTE_TYPE UpdatePos_attr; static const char UpdatePos_name[] = "UpdatePos"; RETURN_CODE_TYPE rc; int i; for(i = 0; i

Page 1 and 2: ERTS² 2012 - Extended Abstract Pap
Page 3 and 4: This all results in an architecture
Page 5: It is also important to note that i

3A.2 Modeling ARINC-653 systems in UML - Embedded Real Time ...

Create successful ePaper yourself

Delete template?

Save as template?