Architectural Frameworks, often called Enterprise Architecture, are used to define the structure, behavior, capabilities and organizational aspects of large enterprises or complex systems. Because the enterprises or systems described tend to be large and complex, the models associated with the discipline also tend to be large and complex. To manage this scale and complexity, an Architectural Framework defines different, but complementary, views of the enterprise or system model corresponding to different stakeholders or areas of interest.
For example, with the industry-specific architectural frameworks for military applications, DoDAF and MODAF have the OV-4 diagram that describes the organization and posts similar to an organizational chart, the OV-2 that shows how different areas of the enterprise communicate and the OV-5 views that look at the behavior or activity of the enterprise. To keep the multiple views consistent, avoid duplication and allow for evaluation & analysis – such as trade-off analysis – it is essential that the elements on these views or diagrams are stored in a common database. For example, if an engineer creates a set of PowerPoint slides to document an enterprise architecture, an initial set of pictures is easy to draw, but can quickly become a maintenance nightmare with the inevitable modifications, deletions, and additions quickly becoming overwhelming as the project grows in scope – not to mention that the report generation and quantitative analysis would all need to be completed by hand. Regardless, the DoD, MOD and NATO are all moving towards a more data-centric way of working, where data and not diagrams is the final deliverable.
Atego Modeler (implemented as Artisan Studio) has preconfigured profiles for working with and producing DoDAF and MoDAF required diagrams, documents and reusable data dictionary elements. With the power of Atego Modeler’s database and customizable profiles, teams can meet the standards required by the many government agencies and company processes. Using out of the box architecture frameworks, allows for consistency checking and automated views and documentation. The architectural frameworks take advantage of both UML and SysML to ensure that teams can communicate throughout the development lifecycle. Finally, Studio’s full lifecycle traceability ensures the ability to show how the Architectural Frameworks have been satisfied to systems (SysML) to code (UML) and test cases (SysML) all in one tool.
Using Atego Modeler, system and software engineers can Work-as-One – making the most of Atego Modeler’s powerful multi-user repository to facilitate collaborative working and ensure full project consistency.
Systems engineers can take advantage of Studio’s SysML profile to ensure building systems and systems-of-systems using the industry standard UML and SysML concepts and modeling language. In the past, systems engineers had to use multiple tools to document the requirements and analysis diagrams. Today, incorporating traceability and managing change is made difficult when system engineers use multiple tools, or when software and architectural frameworks are designed using separate tools. Using Studio allows users to focus on system engineering by bringing the teams to a single tool using Studio’s out of the box integration to the leading 3rd party tools like DOORS, Simulink/Mathworks and Rectify. If these integrations are not enough, Studio can be customized, using the open API, to work with other 3rd party or in-house tools. Not only can users leverage the ability to work with 3rd party tools, Studio’s profile can be extended to ensure that teams adheres to a company’s specific process with consistency checking and documentation generation. Atego is committed to supporting tool interoperability and industry standards and is actively working as part of the OMG and INCOSE to help ensure that a customer’s success by designing in Studio’s ability to cope with the changing requirements of customers.
From the beginning, Atego Modeler was designed to work on large, complex System of System projects and has a powerful database to ensure that teams can create, review and reuse elements as needed by the team, the project and the company. Studio is scalable to allow teams to work in separate branches and to share with external teams and partners by using Studio’s component wizard. Using Studio’s powerful SysML capabilities combined with Configuration Management, custom profiles and best in class tool interoperability lets System Engineers work on complex systems.
For more details download the Atego Modeler Data Sheet.
The best software engineers are very demanding about the capabilities required from development tools in order to perform the highly specialized work – and Atego Modeler delivers real world solutions. Although different industries have varying needs and levels of complexity, all software engineers share one common goal – to achieve the on time and on budget delivery of robust, high quality software. This requires predictability, total user control and the ability to automate and re-apply consistent solutions.
Atego Modeler supports software engineering through a range of capabilities, including UML software modeling, automatic code generation & synchronization, configurable coding standards, reverse & round-trip engineering, design patterns and full support for Model Driven Architecture (MDA).
Atego Modeler is the industrial-strength, premium-quality solution for MDA support- to enable reuse and predictability of application behavior and project timescales. The primary objective of the MDA paradigm is maximizing corporate reuse – MDA principles & solutions embed recurring issues which are typical of a specific domain into custom code generators which can be reused across multiple projects.
The Atego Modeler implements MDA through the Studio’s Template Development Kit (TDK). Unlike other tools, which impose a static mapping between model and code constructs, Atego Modeler’s TDK allows users to define their own mapping – offering complete extensibility and support to in-house coding standards or project-specific constraints. There is no need for “MDA Gurus” for performing changes – Atego Modeler delivers code generators as simple UML models – so users can manipulate them in an easy and transparent way – getting immediate feedback of the changes introduced at the code generator level. Studio’s closed loop allows for rapid prototyping and refinement of new code generators, as well as the definition of specific code generator components which can be reused and are deployable across different generators.
Another key component for getting the most out of MDA is Atego Modeler’s Automatic Code Synchronizer (ACS) – which supports the continuous synchronization between model and code. ACS users can forget about risk caused by inconsistencies between model and code. Working in the background, ACS detects changes at the model level and generates the related code. Of course, modifications at code level are immediately round-tripped into the model as well. This real-time updates for modification increases productivity and project control – and results in a shorter learning curve as the user rapidly gains an understanding of the mapping between UML and the implementation language. ACS provides out of the box support for C, C++, C#, Ada (83, 95 plus SPARK subsets) and Java and Atego can supply custom generators for any user need.
Using Atego Modeler system and software engineers can Work-as-One, making the most of its powerful multi-user repository, which facilitates collaborative work and ensures full project consistency.
To be the best, software engineers are very demanding in terms of the capabilities required from their development tools to perform their highly specialized work and Atego Modeler delivers with real world solutions to the needs of their discipline. Although different industries have varying needs and levels of complexity, software engineers share one common goal: to achieve on time, on budget delivery of high quality software. To do this requires predictability, total user control and most important of all the ability to automate and re-apply consistent solutions.
Atego Modeler supports software engineering through a large range of capabilities including UML software modeling, automatic code generation and synchronization, configurable coding standards, reverse and round-trip engineering, design patterns and full support to Model Driven Architecture (MDA).
The industrial-strength, premium-quality Atego Modeler support for MDA enables reuse and predictability of application behavior and project timescales. The key objective of the MDA paradigm is corporate reuse – MDA principles & solutions embed recurring issues typical of a specific domain into different code generators and reused across projects.
The Atego solution responsible for implementing MDA is Atego Modeler’s Template Development Kit (TDK). Unlike other tools, which impose a static mapping between model and code constructs, Atego Modeler’s TDK allows users to define their own mapping – offering complete extensibility and support to in-house coding standards or project-specific constraints. There is no need for gurus for performing such changes – Atego Modeler delivers code generators as UML models – so users can manipulate them in an easy and transparent way, getting an immediate feedback of the changes introduced at code generator level. This closed loop allows a rapid prototyping and refinement of new code generators, as well as the definition of specific code generator components which can be reused since they are deployable across different generators.
Another key component for the support to MDA is Atego Modeler’s Automatic Code Synchronizer (ACS), which supports the continuous synchronization between model and code. Thanks to ACS, users can forget about risky projects caused by inconsistencies between model and code. Working in the background, ACS detects changes at the model level and generates the related code. Of course, modifications at code level are immediately round-tripped into the model as well. This real-time updates for modification increases productivity and project control – and results in a shorter learning curve as the user will very rapidly gain understanding of the mapping between UML and the implementation language. ACS provides out of the box support for C, C++, C#, Ada (83, 95 plus SPARK subsets) and Java.
As well as our products above, our Atego HighRely team offers a great deal of expertise with Embedded Software Development, such as:
- Embedded avionic, medical device, telecom/datacom, and transportation software design and development
- Software simulation, build environments (compiler, linker, certifiable RTOS)
- Critical device software documentation including software design documents, software code, software peer reviews, and software traceability
- Software analysis, static code analysis, and dynamic code analysis using Polyspace
Our system engineers provide their expertise in system assessment, architecture, design, specification, verification and validation using the latest in system productivity tools, techniques and standards to provide system engineering solutions. From concept through validation; using models and simulation; by specification, design and test, Atego HighRely ensures your system will be safe and reliable.
We know how to ensure your system works the way you intended; every time. We do this through rigorous system engineering; applying proven analysis techniques and rigorous specification methods, then focusing on the type of testing that will verify that the system works as specified; and will validate that the specified system was the intended system.
Atego HighRely’s systems engineering expertise covers:
- Embedded avionic, medical device, telecom/datacom, and transportation systems engineering and requirements specification
- UML, OOA/OOD and SCADE modeling, simulation, and analysis
- Critical device systems/software traceability
- Failure Hazard Analysis (FHA) and Failure Mode Effects Analysis (FMEA) for embedded devices
- Critical device systems, software, and hardware specification
Atego HighRely’s hardware and software verification expertise covers:
- Structural coverage including statement coverage, decision condition coverage and modified condition decision coverage (MCDC)
- Use of the most popular and advanced embedded verification tools on the market today
- Development and customization of verification tools to enhance re-usability and automation of software, hardware, and systems level testing
- Complete test documentation including test planning, traceability, and test reporting
- Detailed verification project metrics to determine where and how the mistakes were made to optimize future development
- Onsite, offsite, and offshore (optional, at your request) verification
Although Model-based Systems Engineering (MBSE) was pioneered for the disciplines of military strategy and software engineering, hardware design engineers are using the effectiveness of (MBSE) for modeling of complex systems of systems because despite the success of the rigorous methods hardware design engineers exploit for the specification, analysis, and implementation of circuits, circuit packs, and processors, hardware engineers are struggling with both the complexity of specialized asymmetric multi-core processors and multi-function FPGAs and with the integration and traceability of those relatively self-contained systems into the larger system of organizational, personnel, and other non-hardware systems.
The capabilities of Atego Modeler which are compelling to Systems and Software Engineer are also compelling to hardware engineers and include collaboration, change management, profile customization, domain-specific modeling, and automated generation of implementation artefacts. Like their peers in other disciplines, hardware engineers can exploit these capabilities to improve their collaboration and their productivity.
Atego participates – in lead roles – in the specification and implementation of several OMG Profiles which offer capabilities of specific appeal to hardware engineers. These include the System On Chip (SoC) Profile and the Modeling and Analysis of Real-time and Embedded Systems (MARTE) Profile.
SystemC, the implementation language for the SoC Profile, is a textual, system description language which provides an executable simulation engine for those systems which are specified with SystemC. SystemC provides capabilities for structural and behavioral modeling; structural elements include modules, ports, processes, channels, interfaces, events, and primitive data types while processes represent concurrent, behavioral elements.
There is a sufficiently strong conceptual similarity between SystemC and other system description languages such as AADL, MARTE, and VHDL or Verilog to enable nearly direct transformations between these system description languages.
MARTE is a UML2 profile which extends the UML to provide a discipline-specific graphical language which enables real-time engineers to express – in graphical, tabular, and textual form – many aspects of the engineering and analysis of time and resource constrained systems, especially systems composed of hardware and software. These profiles, along with Atego Modeler’s existing System Architecture profile, enable hardware engineers to more easily utilize the graphical languages of model-based Systems Engineering to specify and analyze the context within which their hardware systems are deployed.
Atego Modeler also offers MDA capabilities for the engineers of hardware-centric systems. Two such capabilities are a SystemC code generator and a VHDL generator. Both of these utilize Atego Modeler ACS/TDK to query, transform, and reverse-modify domain models into executable implementation artefacts.
To achieve full lifecycle integration, Atego is partnering with Electronic Design Automation companies and Analysis and Simulation companies to implement integrated information synchronization between the respective tools which hardware engineers use.