Software Development with Formal Methods

1,125 members
  • Join

    When you join a group, other members will be able to see your profile and message you. The group logo will be visible on your profile unless you change that setting.

  • Information and settings

Have something to say? Join LinkedIn for free to participate in the conversation. When you join, you can comment and post your own discussions.

Mike O.

Mike

A Traceability solution for DO-178C that can meet Level A requirements (TODAY)

I help Aerospace & Defense companies improve efficiencies

Traceability has been a key part of the DO-178B standard and with DO-178C it has event more increased importance. LDRA for over 35 years has been a industry leading company in the verification of safety/mission and security critical aerospace systems. For a full demonstration come to one of the following seminars starting on June 18th.

DO-178C: What's New and Applying the Standard to Your Development and Verification Processes http://www.ldra.com/en/news-a-events/seminars

Model-driven development (MDD) is a growing trend within the embedded computing world including safety-critical industries such as defense and avionics. While some modeling work is often involved in the software development...

  • Flag as Inappropriate
  • Comment
  • June 15, 2012
  • Close viewer

Comments

Feedback