A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

Using MARK with Rational Exec Index

A

Ada calling to C imported functions

MARK 35

Ada Duo Rational Executive issues

MARK 37

Ada I/O 9, 10

ada_examples.ss 8

Ada.Interrupts.Names 29

All_Contribution package 9

Apex Duo Issues

MARK 35

application pragmas 10

Attach_Isr 31

B

board

minimal model 14

model 13

board model

MARK 13

board subsystems

MARK 18

board support package

MARK 13

board_common 18

BSP 13

C

certification

software aspects 41

certification considerations

MARK 39

certification templates

MARK 41

choose

Interrupt_Handler_Wrapper 31

configure

differences in MARK kernel configuration 14

differences in MARK user configuration 15

COTS software

MARK 40

create

MARK working views 5

D

debugging

MARK 10

development tools

identify 46

Directory Structure of the Qualification Test Suite (QTS) 51

DO-178 certification 40

DO-178B Tool Qualification 45

Duo programs

MARK 35

duo_examples.ss 8

E

enable

interrupts (MARK) 30

exceptions

MARK 26

exceptions.ss 26

exported Ada called from C functions

MARK 36

F

FAQ 55

File

New MARK 5

frequently asked questions 55

G

generated code

improving 31

getting started 5

I

Identify the development/verification tools 46

Identify which of these tools will be required to be qualified as a development or verification tool. 46

improving quality of generated code 31

Inform your regulatory agency that you will be using a tool that requires qualification. 46

install qualification data

qualification data

install 50

installation script 51

interrupt handling 29

Interrupt_Handler_Wrapper

choosing 31

interrupts

enable 30

introduction

MARK 1

K

kernel configuration

differences for MARK 14

kernel configuration (krn_conf.ss) differences 14

krn_conf 18

krn_conf.ss

MARK 14

L

Link.des

MARK 14

linker description file

MARK 14

locate qualification data 50

M

MARK 26, 29

Ada as main subprogram 35

application pragmas 10

board model 13

certification considerations 39

certification templates 41

debugging 10

Duo Issues 37

getting started 5

introduction 1

kernel configuration differences 14

krn_conf.ss 14

linker description file 14

pragmas 31

predefined subsystems 18

profiling 26

programs 19

protected objects 31

runtime environment 17

storage management 24

user configuration differences 15

usr_conf.ss 15

verification template 41

MARK Examples

ada_examples.ss 8

duo_examples.ss 8

mark_examples.ss 8

mark_examples 19

mark_examples.ss 8

MCDC Tool Qualification

TestMate 45

models

MARK 19

N

New MARK 5

New MARK Dialog Box 5

no_krn_conf 18

O

overview

DO-178B certification 40

tool qualification 46

P

pragmas

application 10

MARK 10, 31

predefined subsystems

MARK 18

product history 48

TestMate 48

profiling 26

i386 specifics 27

power specifics 26

programs

MARK 19

protected objects

MARK 31

R

Rational tool qualification 45

real_time_systems 18

requirements 10

RTCA document

DO-178B 45

runtime

common subsystems 17

MARK 17

no kernel subsystem 18

no tasking subsystems 17

xubsystems 17

S

Simple_Io 10

sm0

description 23

implementation. 25

sm2 description 21

sm3 description 20

sm4 description 20

software aspects

certification 41

software configuration management plan 42

software design document template 43

software development plan 42

software quality assurance plan 42

software requirements document 43

software test procedures template 43

software test results 43

software tests 43

software verification plan 42

standard profiling

MARK 26

storage management

MARK 19, 24

storage_mangement.ss 19

submit test results 47

subsystems

MARK 17

systems_programming 18

T

test plan

test procedures 53

test results 54

submit 47

TestMate 48

MCDC Tool Qualification 45

Testmate MCDC qualification 48

TestMate Operational Requirements (TOR) Document 52

Tool Operational Requirements (TOR) Document 47

Tool Qualification

MCDC 45

tool qualification

overview 46

tool qualification issues 49

tool qualification plan 52

TOR Document 47

TOR verification 47

U

user configuration

differences for MARK 15

usr_conf.ss

MARK 15

V

V_Interrupts

MARK 30

Vads Exec V_Interrupts.Attach_Isr. 31

verification templates

MARK 41

verification tools

identify 46