Product category: Design and Development Software
News Release from: I-Logix Europe | Subject: Rhapsody in Ada
Edited by the Electronicstalk Editorial Team on 1 October 2004
Model-driven development for Spark-compliant Ada
A new capability for the Rhapsody UML model-driven development product facilitates the development of fully Spark compliant Ada applications
Related stories
Comprehensive claims for model-driven development
Rhapsody 6.0 uses a new graphical engine to dramatically improve user workflow, extending its design capacity with advanced formatting, ergonomics and drawing capabilities
Model-driven embedded development goes graphical
Statemate 4.0 is billed as the industry's most comprehensive model-driven development (MDD) tool for embedded systems
A new capability for the Rhapsody UML model-driven development (MDD) product facilitates the development of fully Spark compliant ada applications. A joint development effort between I-Logix and Praxis Critical Systems now enables the generation of Spark Ada code directly from UML models. This capability is especially valuable for safety critical and other high-integrity applications, where Spark Ada is the language of choice.
Spark Ada is a language specifically designed to support the development of software used in high-integrity applications.
As an annotated and semantically rigorous subset of Ada, Spark exploits the strengths of Ada while eliminating potential ambiguities.
These properties, which include rigorous definition, simple semantics, security, expressive power, verifiability and bounded resource requirements, allow Spark, in both its 83 and 95 variants, to meet all the requirements for software used in critical systems as well as facilitating exceptionally deep and efficient forms of analysis.
With this integration, Rhapsody users are now able to introduce and fully integrate safety-critical elements very early on into their design process.
Pre- and postconditions can now be captured as part of a UML design, further augmented to reference proof functions that are tested through the Spark Examiner.
Further reading
Model-driven development for new missile
Statemate has been selected by MBDA to aid in the development of Meteor, a flexible new air-to-air missile to be incorporated in to the next-generation of European fighter aircraft
Model-driven development proves popular
Embedded systems and software solutions provider I-Logix has recorded a record number of new customer wins for the third quarter
Model-driven development meets military needs
A new capability for the UML 2.0 based model-driven development product Rhapsody addresses Department of Defense Architecture Framework guidelines
Systems and software engineers work in Harmony
Available now from embedded solutions provider I-Logix, Harmony is a new development approach that brings together systems and software engineering
In effect, designers can "think Spark" while simultaneously taking advantage of the benefits that UML model-driven development (MDD) provide.
Rhapsody in Ada provides the system modeller with a UML profile specific for Spark.
This profile allows for an intuitive and highly visible method of modelling and communicating any Spark design.
Rhapsody in Ada then fully generates the Spark source code and complete Spark annotations including preconditions, postconditions and proof functions.
Additionally, Rhapsody in Ada offers the flexibility and control of directly capturing the Spark annotations, thus providing the end user with an entry mechanism that best fits their working style.
Rhapsody in Ada works seamlessly with Spark Examiner from Praxis Critical Systems.
From Rhapsody in Ada, the modeller can invoke the Examiner to verify the conformance of the model with the Spark rules, perform data and flow analysis, and verify the proof contexts.
Spark Examiner results are displayed within Rhapsody in Ada, and a double-click on an error or warning will bring the modeller to the appropriate portion of the design, increasing workflow efficiency.
Rhapsody in Ada allows the modeller to work incrementally on any Spark design.
The modeller has full control over the model elements and the level of examination to be performed by the Examiner.
The design can begin with no examination, then have certain model elements examined for data flow, followed by a full information flow analysis.
The user has the choice to examine each model element individually, or a group of model elements at once, or the entire model.
This enables an incremental, iterative and flexible design process that is consistent with the recommended workflow for Spark while being driven directly by the model.
Rhapsody in Ada offers a rules-based source code generator allowing the customer total control over every aspect of the model-to-code transformation.
From modifications of the Spark profile itself to changes in the generated source and annotations, Rhapsody maintains a seamless integration for the system developer.
"We are very pleased to see the comprehensive capability offered by Rhapsody in Ada extended to support the Spark language.
The editable rules feature provides for a well-integrated UML environment where designers can leverage the process benefits offered by Spark Ada very early on in the development process", said Rod Chapman, Spark Product Manager of Praxis Critical Systems.
"Additionally, the generated code can be easily and iteratively analysed through the Spark Examiner".
"The result is a powerful integration of Spark and UML, generating SPARK compliant code from UML models that is readable, testable and deployable".
"This combination of individually leading technologies provides much more than the sum of its parts".
"We are very excited about extending our UML based design environment to the Spark Ada community", said Neeraj Chandra, I-Logix Senior Vice President of Marketing and Corporate Development.
"Designers using Spark Ada are now able to leverage powerful capabilities such as visual modelling with UML 2.0, visual execution and debugging, both on host and target, and flexible, rules based automatic application generation".
"This new capability allows users to design even larger systems at a reduced cost and higher quality".
"Combining the benefits of UML with Praxis Critical Systems' excellent Spark analysis tools lead to a significantly higher level of reliability, safety and security as well".
• I-Logix Europe: contact details and other news
• Email this news to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Related Business News
Icoa Is Partnering With Anchorfree To...
...Enhance And Monetize Thousands Of Wi-fi Hotspots. Icoa, Inc., a national provider of wireless broadband Internet access and managed network services in high-traffic public locations, and AnchorFree Inc., a rapidly growing Wi-Fi community powered by advertising, have announced today that they are partne
The greenest computer company under the Sun
Tooling Around: Sculpting With Skymatter's Mudbox
For the next part in Gamasutra's 'Tooling Around' feature, which profiles and interviews middleware and tools developers about their products, we talk to Andrew Camenisch, co-founder of Skymatter, developers of 3D sculpting and modeling tool Mudbox.
Konica Minolta Set to Launch New Printing Software
State's business conditions index falls in March
Missouri business conditions slumped slightly in March but are still healthy, according to an index report by Creighton University's Economic Forecasting Group.
Search the Pro-Talk network of sites
