NATEP fund project to automate testing of SPARK related software
The National Aerospace Technology Exploitation Programme (NATEP) is funding a project to automate the testing of SPARK related software within the aviation industry.
The project known as AUTOSEC is a joint venture between Altran, Rapita Systems and the University of Oxford. For more information about AUTOSEC and other NATEP projects go to www.natep.org.uk.
Latest News
- MISRA Safety Case Guidelines Public Review
- SCSC Autonomous Systems Safety Working Group - First Meeting 17 Jan
- INCOSE UK's Annual Systems Engineering Conference 15-16 Nov
- NATEP fund project to automate testing of SPARK related software
- High Integrity Software Conference 2016
- New Training Courses and New Training Facilities
- Considerations When Deploying Model Based Systems Engineering
- 100% Code Generation From UML
- VB6 Training Re-launch
- A Background to DO-178C
- My First Company Tool
- New: Android Courses
- Ada Europe 2012
- Steve Jobs' Golden Apple
- Steve Jobs and Dennis Ritchie's Guide to Success
- Alternate Scenarios
- MDD: Past and Future
- IBM Innovate, London 2011
- Blog Post: Joe's Journey
- A load of old Cobol...
- Partner of Samsung Crescent Racing
- Interview with Customer: Migration
- IBM Toolset Training Now Available
- The Start of a Programmer's Journey
- Obsolete Programming Languages
- NEW Use Case Estimation Tool
- Model Driven Software Modernization
- Model Driven Development Myths
- India's National Technology Day
- The Ada Connection 2011
- Documenting Use Cases
- UML and MDD, a Beginners Opinion
- How to Make the Most of Membership
- ...and the Oscar Goes To - Primary and Supporting Actors
- Nokia's Smart Move
- UML Survey: How is UML used?
- How to Survive in Sales in a Technical Environment
- Avionics and Defence Electronics Europe 2011
- Round Pegs into Round Holes - Where Use Cases Add Value
- Stakeholders Don't Just Kill Vampires - Sometimes They Talk
- Context Diagrams
- Timeboxing
- The Path of Most Resistance (Discovering Use Cases)
- How to Market A Technical Company (and Be Taken Seriously)
- Use Cases
- The Evolution of Code Generation
- The Long Term Consequences of Short Term Solutions
- A Blog for Technical Minds - The Technical Diaries
- Embedded Live Conference 2010 for Software Engineers
- Are you interested in joining us as a lecturer for software training?
- Objektum Solutions Provides SysML Training to Automotive Industry
- Eurofighter Review features Objektum Solutions' Software Migration Capability
- Atego buys Software Migration Solution to Support their Customers Move from Legacy Technology to UML
- Objektum Solutions is Key Sponsor of Major Charity Event.
