|
UPCOMING EVENTS
|
| 09.09.2010 | DO-178B Level A Programming Environment
Details
------------------------------------------ | All Events
|
|
|
Event
|
| Event: | Developing Mission and Safety-Critical Applications under DO-178B and Getting Ready for DO-178C | | Content: | Highlights include:
· Exxamining issues faced by developers of DO-178B level A compliant applications.
· Establishing the proper modeling approach for the development of safety-critical, DO-178B applications.
· Overcoming the challenges in the development of safety-critical applications, in terms of specification, verification, and efficiency of the resulting software.
· Using proper modeling techniques and automatic code generation from models to drastically improve productivity while maintaining the highest level of safety and reliability.
· Exploring DO-178C and how it will impact application development:
o Model-based Development and Verification
o Formal Verification
Tool Qualification
Register | | Date: | 26.05.2010 | |
|
|
|
NEW PRODUCTS
|
|
|
|