| |
|
|
|
|
|
Using MARK with Rational Exec Contents
Introduction
- Using MARK for the First Time
Getting Started
- File > New > New Source Release
- New Source Release Views Dialog Box Fields
- MARK Examples: mark_examples.ss, ada_examples.ss, duo_examples.ss
- Ada I/O
- Ada I/O Requirements
- Simple_Io
- Application Pragmas
- Debugging
Board Support Package (BSP)
- Models
- Board Model
- Board minimal Model
- Linker Description File
- Kernel Configuration (krn_conf.ss) Differences
- User Configuration (usr_conf.ss) Differences
MARK Runtime Support
- Subsystem Description
- Runtime Subsystems
- Predefined Subsystems
- Board Subsystems
- MARK Programs
- Storage Management (storage_mangement.ss)
- sm2 Description
- sm0 Description
- Storage Management Basics
- sm0 Implementation.
- Exceptions (exceptions.ss)
- Profiling
- Standard Profiling
- Power PC Specifics
- i386 Specifics
Interrupt Handling
- Ada.Interrupts.Names
- Ada.Interrupts.Rational.Set_Reserve_Handler
- Enabling Interrupts
- Protected Objects
- Improving the Quality of Generated Code
- Pragmas
- Choosing the right Interrupt_Handler_Wrapper
- Vads Exec V_Interrupts.Attach_Isr
Duo Programs
- Ada is the Main Subprogram
- Ada Calling to C Imported Functions
- Exported Ada Called From C Functions
- Ada Duo Rational Executive Issues
- MARK Duo Issues
Certification Considerations
- Overview of DO-178B Certification
- COTS Software
- Verification/Certification Templates Available for MARK
- Plan for Software Aspects of Certification
- Software Development Plan, Software Verification Plan, Software Quality Assurance Plan, Software Configuration Management Plan
- Software Requirements Document
- Software Design Document Template
- Software Test Procedures Template
- Software Tests
- Software Test Results
TestMate MCDC Tool Qualification
- RTCA/Doc DO-178B
- DO-178B Tool Qualification
- Rational's Involvement with Tool Qualification
- Overview of Tool Qualification
- Identify the development/verification tools that you plan to use
- Identify which of these tools will be required to be qualified as a development or verification tool.
- Inform your regulatory agency that you will be using a tool that requires qualification.
- Prepare a Tool Operational Requirements (TOR) Document
- Verify that the tool fulfills the requirements in the TOR
- Submit Test Results
- Testmate MCDC Qualification history
- Rational TestMate Product History
- Tool Qualification Issues
- Using Qualification Data provided for testmate MCDC
- Locating and Installing the Qualification Data
- Tool Qualification Plan
Frequently Asked Questions
Using MARK with Rational Exec Index
| Rational Software Corporation http://www.rational.com support@rational.com techpubs@rational.com Copyright © 1993-2001, Rational Software Corporation. All rights reserved. |
| |
|
|
|
|
|
 |
 |