The Galileo GMS AIV Platform (AIVP) provides an integration infrastructure for testing the Galileo Mission Segment. It incorporates over 100 distributed models of system entities, automatically generated message encoders/decoders, behavioral models of elements, support for common protocols, and a user-friendly interface for designing and deploying test scenarios. Qualification results obtained using the AIVP are trusted due to its built-in configuration management and results capture capabilities.
Model-Based Integration for FMI Co-Simulation and Heterogeneous Simulations o...Modelon
Virtual evaluation of complex Cyber-Physical Systems
(CPS) [1] with a number of tightly integrated
domains such as physical, mechanical, electrical,
thermal, cyber, etc. demand the use of heterogeneous
simulation environments. Our previous effort with
C2 Wind Tunnel (C2WT) [2] [3] attempted to solve
the challenges of evaluating these complex systems
as-a-whole, by integrating multiple simulation platforms
with varying semantics and integrating and
managing different simulation models and their interactions.
Recently, a great interest has developed to
use Functional Mockup Interface (FMI) [4] for a variety
of dynamics simulation packages, particularly
in the automotive industry. Leveraging the C2WT
effort on effective integration of different simulation
engines with different Models of Computation
(MoCs), we propose, in this paper, to use the proven
methods of High-Level Architecture (HLA)-based
model and system integration. We identify the challenges
of integrating Functional Mockup Unit for
Co-Simulation (FMU-CS) in general and via HLA
[5] and present a novel model-based approach to rapidly
synthesize an effective integration. The approach
presented provides a unique opportunity to
integrate readily available FMU-CS components
with various specialized simulation packages to rapidly
synthesize HLA-based integrated simulations
for the overall composed Cyber-Physical Systems.
Authors: Himanshu Neema, Jesse Gohl, Zsolt Lattmann, Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty, John Batteh, Hubertus Tummescheit and Chandrasekar Sureshkumar
Agenda:
Motivation: Systems Engineering and Modeling and Simulation need to converge
Open Standards we build on: Modelica, FMI, OSLC, SySML
An Ideal Process to Integrate Systems Engineering with Model Based Design
Continuous Integration to Close the Loop for Rapid Design Iterations
First Steps to Automate Requirements Formalization
Call to Action
The Functional Mockup Interface: FMI overview
Modelica: a very brief overview
A Real-World Example: Active Grill Shutter Controls
Vehicle Thermal Management with Modelica
Continuous Validation of System Requirements
- Intermediate results from ITEA3 MODRIO project
Iterative Controller Development Using Modelica
Conclusions
Modelon’s FMI Composer offers users the ability to build system models, save in an open ssp format, export files as FMU, and simulate in their tool of choice. By leveraging the power of open standards users can connect FMUs, therefore optimizing the use of models across organizations and industries.
Model-Based Integration for FMI Co-Simulation and Heterogeneous Simulations o...Modelon
Virtual evaluation of complex Cyber-Physical Systems
(CPS) [1] with a number of tightly integrated
domains such as physical, mechanical, electrical,
thermal, cyber, etc. demand the use of heterogeneous
simulation environments. Our previous effort with
C2 Wind Tunnel (C2WT) [2] [3] attempted to solve
the challenges of evaluating these complex systems
as-a-whole, by integrating multiple simulation platforms
with varying semantics and integrating and
managing different simulation models and their interactions.
Recently, a great interest has developed to
use Functional Mockup Interface (FMI) [4] for a variety
of dynamics simulation packages, particularly
in the automotive industry. Leveraging the C2WT
effort on effective integration of different simulation
engines with different Models of Computation
(MoCs), we propose, in this paper, to use the proven
methods of High-Level Architecture (HLA)-based
model and system integration. We identify the challenges
of integrating Functional Mockup Unit for
Co-Simulation (FMU-CS) in general and via HLA
[5] and present a novel model-based approach to rapidly
synthesize an effective integration. The approach
presented provides a unique opportunity to
integrate readily available FMU-CS components
with various specialized simulation packages to rapidly
synthesize HLA-based integrated simulations
for the overall composed Cyber-Physical Systems.
Authors: Himanshu Neema, Jesse Gohl, Zsolt Lattmann, Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty, John Batteh, Hubertus Tummescheit and Chandrasekar Sureshkumar
Agenda:
Motivation: Systems Engineering and Modeling and Simulation need to converge
Open Standards we build on: Modelica, FMI, OSLC, SySML
An Ideal Process to Integrate Systems Engineering with Model Based Design
Continuous Integration to Close the Loop for Rapid Design Iterations
First Steps to Automate Requirements Formalization
Call to Action
The Functional Mockup Interface: FMI overview
Modelica: a very brief overview
A Real-World Example: Active Grill Shutter Controls
Vehicle Thermal Management with Modelica
Continuous Validation of System Requirements
- Intermediate results from ITEA3 MODRIO project
Iterative Controller Development Using Modelica
Conclusions
Modelon’s FMI Composer offers users the ability to build system models, save in an open ssp format, export files as FMU, and simulate in their tool of choice. By leveraging the power of open standards users can connect FMUs, therefore optimizing the use of models across organizations and industries.
One single simulation model in development deployed broadly across organization is beneficial in order to reduce effort in maintenance, and to ensure consistency, and possibly multi fidelity.
To run simulation over multiple simulation environments one needs to separate the model from the execution environment.
Closing the Design Cycle Loop with Executable Requirements and OSLC - IBM Int...Modelon
Motivation: Systems Engineering and Modeling and Simulation need to converge
Open Standards we build on: Modelica, FMI, OSLC, SySML
An Ideal Process to Integrate Systems Engineering with Model Based Design
Continuous Integration to Close the Loop for Rapid Design Iterations
First Steps to Automate Requirements Formalization
Call to Action
DvClub 2102 tlm based software control of uvcs for vertical verification re...Amit Bhandu
In order to provide full controllability to the C test developer over the verification components, a virtual layer can be created using the capabilities of TLM 2.0 layer in both SystemC and UVM.
This Virtual layer exposes the sequences of the UVC into SystemC TLM2.0 which enables the embedded software engineers to configure and control the Verification IPs from embedded software and generate the same advanced stimulation or exhaustive coverage as provided by UVCs.
A TLM Vertical Verification ReUse Methodology that enables reuse of the IP verification environment and test cases to SOC verif/valid environment.
Using Modelica and FMI to evaluate requirements compliance early in system d...Modelon
AGENDA
- The Functional Mockup Interface: FMI
- A Real-World Example: Active Grill Shutter Controls
- Vehicle Thermal Management with Modelica
- Continuous Validation of System Requirements
- Intermediate results from ITEA3 MODRIO project
- Iterative Controller Development Using Rational Rhapsody & Dymola
- Conclusions
Learn the basics of the IEC 61131 industrial and process automation software standard for implementing automation and control. This worldwide standard is implemented in virtually all industrial and process automation controls.
Regression testing tool for Modelica and FMI
Framework to define individual tests, test suites, and execute them either from a GUI or from Python scripts
Uses OPTIMICA Compiler Toolikt compiler to facilitate test design and usage
Tool-agnostic approach for test execution (currently supports Dymola, OpenModelica and OPTIMICA Compiler Toolkit)
Execution on local machines or via a server
Full HTML report provides dashboard overview with links to individual test results
Embitel developed custom drivers and all our GPS and fleet maintenance software telematics devices are designed in a way that they can be used either in 32 bit or 16 bit microcontroller.
EFFICIENT POWER MANAGEMENT TECHNIQUES SUCH AS SKIN TEMPERATURE AWARE POWER MANAGEMENT AND BATTERY BOOST FOR IMPROVED ENERGY EFFICIENCY [PERFORMANCE/WATT]
DEVELOPING PERFORMANCE ANALYSIS ENVIRONMENT BY REUSING EXISTING VERIFICATION ENVIRONMENT
HOLISTIC VIEW OF SOC VERIFICATION :
EVOLUTION OF UVM METHDOLOGY, UVM 1.2 AND CHALLENGES WITH MULTI LANGUAGE SUPPORT/AMS SUPPORT.
EDA INDUSTRY/TOOL CHALLENGES WITH HW-SW DEBUG, VP MODEL VERIFICATION.
H/W ASSISTED SIMULATION ACCELERATION, CHOOSING EMULATION CONFIGURATION FOR YOUR DESIGN.
Presented by: Mr Keith Smith, UK GVA Office, Defence Equipment and Support, UK MOD
A presentation on the progress, plans and development of the UK Generic Vehicle Architecture Programme, which underpins the integration of future UK military vehicle mission systems. The presentation will address the requirement to use DDS technology and an OMG Model Driven Architecture Approach for the data modeling aspects. It will also cover the creation of NATO GVA STANAG 4754 based on the UK GVA Approach.
One single simulation model in development deployed broadly across organization is beneficial in order to reduce effort in maintenance, and to ensure consistency, and possibly multi fidelity.
To run simulation over multiple simulation environments one needs to separate the model from the execution environment.
Closing the Design Cycle Loop with Executable Requirements and OSLC - IBM Int...Modelon
Motivation: Systems Engineering and Modeling and Simulation need to converge
Open Standards we build on: Modelica, FMI, OSLC, SySML
An Ideal Process to Integrate Systems Engineering with Model Based Design
Continuous Integration to Close the Loop for Rapid Design Iterations
First Steps to Automate Requirements Formalization
Call to Action
DvClub 2102 tlm based software control of uvcs for vertical verification re...Amit Bhandu
In order to provide full controllability to the C test developer over the verification components, a virtual layer can be created using the capabilities of TLM 2.0 layer in both SystemC and UVM.
This Virtual layer exposes the sequences of the UVC into SystemC TLM2.0 which enables the embedded software engineers to configure and control the Verification IPs from embedded software and generate the same advanced stimulation or exhaustive coverage as provided by UVCs.
A TLM Vertical Verification ReUse Methodology that enables reuse of the IP verification environment and test cases to SOC verif/valid environment.
Using Modelica and FMI to evaluate requirements compliance early in system d...Modelon
AGENDA
- The Functional Mockup Interface: FMI
- A Real-World Example: Active Grill Shutter Controls
- Vehicle Thermal Management with Modelica
- Continuous Validation of System Requirements
- Intermediate results from ITEA3 MODRIO project
- Iterative Controller Development Using Rational Rhapsody & Dymola
- Conclusions
Learn the basics of the IEC 61131 industrial and process automation software standard for implementing automation and control. This worldwide standard is implemented in virtually all industrial and process automation controls.
Regression testing tool for Modelica and FMI
Framework to define individual tests, test suites, and execute them either from a GUI or from Python scripts
Uses OPTIMICA Compiler Toolikt compiler to facilitate test design and usage
Tool-agnostic approach for test execution (currently supports Dymola, OpenModelica and OPTIMICA Compiler Toolkit)
Execution on local machines or via a server
Full HTML report provides dashboard overview with links to individual test results
Embitel developed custom drivers and all our GPS and fleet maintenance software telematics devices are designed in a way that they can be used either in 32 bit or 16 bit microcontroller.
EFFICIENT POWER MANAGEMENT TECHNIQUES SUCH AS SKIN TEMPERATURE AWARE POWER MANAGEMENT AND BATTERY BOOST FOR IMPROVED ENERGY EFFICIENCY [PERFORMANCE/WATT]
DEVELOPING PERFORMANCE ANALYSIS ENVIRONMENT BY REUSING EXISTING VERIFICATION ENVIRONMENT
HOLISTIC VIEW OF SOC VERIFICATION :
EVOLUTION OF UVM METHDOLOGY, UVM 1.2 AND CHALLENGES WITH MULTI LANGUAGE SUPPORT/AMS SUPPORT.
EDA INDUSTRY/TOOL CHALLENGES WITH HW-SW DEBUG, VP MODEL VERIFICATION.
H/W ASSISTED SIMULATION ACCELERATION, CHOOSING EMULATION CONFIGURATION FOR YOUR DESIGN.
Presented by: Mr Keith Smith, UK GVA Office, Defence Equipment and Support, UK MOD
A presentation on the progress, plans and development of the UK Generic Vehicle Architecture Programme, which underpins the integration of future UK military vehicle mission systems. The presentation will address the requirement to use DDS technology and an OMG Model Driven Architecture Approach for the data modeling aspects. It will also cover the creation of NATO GVA STANAG 4754 based on the UK GVA Approach.
The Civil Infrastructure Platform (CIP) - launched in April - CIP defined and started to realize a super long-term supported open source "base layer" for industrial grade software. This base layer aims to be used for current and future industrial systems which supports machine-to-machine connectivity for digital future. This kind of systems, being the field for decades, should have long-term support for security and robustness reasons. In this talk, we will show the first steps on CIP development. This includes initial set of components for the base layer and its maintainers. Are you ready? It’s time to start your development with and for the CIP.
Network Visibility Operating System Software - GigaVUE-OS Product Brief gigamon
GigaVUE-OS is an operating system software that enables active visibility into business infrastructure on selected white box hardware and in core and edge nodes in Gigamon’s Unified Visibility Fabric™ .
Visit www.gigamon.com/products/gigavue-os-white-box to learn how enable cost effective, highly scalable network TAPs in your data center).
Verixo’s new IT Management software – VMS (Verixo Management Suite) represents a simple and easy to use software application that provides expert and an enterprise-level IT management tool for all infrastructure administrators and service providers. Developed in response to the growing IT Challenges faced by global enterprises operating across many different locations, VMS delivers a highly effective and reliable management solution for all IT infrastructures and operations, with ease and transparency, optimizes your end point management, automate your tasks and keeps check on the health of your IT infrastructure.
Designed to also free IT professionals from unnecessary support tasks and provides ability to organize & perform operations on multiple systems to keep support costs to a minimum, VMS provides centralised management solution for life cycle management of end points including desktop, notebook PCs, POS, Kiosk and thin client terminals using an intuitive and browser-based GUI for effective and convenient remote asset management.
VMS Usage and Benefits
VMS can manage your entire IT infrastructure in a Private(LAN/WAN) and public(Over Internet) environment, remotely deploy profiles and configure devices, generate meaningful reports on your IT assets. VMS provides the ability to perform operations on multiple systems using a single point interface. Administrators can manage IT operations with ease and transparency, optimize your end point management, automate your tasks and keep check on the health of your IT infrastructure.
VMS helps customers mitigate risks or issues that result in loss of time, money and productivity. VMS reduces complexity and cost of managing IT infrastructure systems and its security.
Management features include Organization Group management, IT asset & inventory management, Patch/software/image management & deployment, Systems and security configuration management, Performance management, Power management, Task management and scheduling, Remote assistance & maintenance, Alerts, QOS and Health monitoring, Reports. VMS is equipped with MIS reports that enable the management of the enterprise take informed decisions.
VMS software architecture is robust, secure & scalable based on open industry-standard technologies & protocols. VMS software architecture support centralized as well as distributed management architectures. The software solution can connect over Wireless (VSAT, GPRS, CDMA, 3G) & Wired networks (Dial up, Broadband & Leased line).
OSGi with Docker - a powerful way to develop Java systems - Udo Hafermann (So...mfrancis
OSGi Community Event 2018 Presentation by Udo Hafermann (Software AG)
Abstract: In this talk we will share our experiences in developing a tool chain from classes, to bundles, to containers, to systems.
OSGi and Docker come together in a compelling way where the former provides modularity "in the small" and the latter "modularity in the large". We discover how the unique characteristics of OSGi enable a smooth transition from small to large.
The resulting environment enables developers to grow distributed systems on their local machine and test them with plain JUnit at all levels of granularity - classes to systems. During development OSGi enables the tool chain to update the system without container rebuilds.
While an increase in productivity is one benefit of such an environment, an arguably more important benefit is the way it empowers developers to gain new insights.
EclipseEmbeddedDay2009-OSGi: Best Tool In Your Embedded Systems ToolboxBrett Hackleman
We discuss several of our past and current OSGi-based solutions for defense systems, mining equipment, construction equipment, industrial automation, and automotive/telematics domains. We present some best practices for building flexible, cross-platform, high-performance embedded application and the resulting lessons learned along the way. We demonstrate how the Eclipse Runtime Components and Frameworks can be used to access communication buses such as CAN, J1939, J1850, and MIL-STD-1553. Finally, we explain how using OSGi and Equinox can simplify the development, testing, and deployment of your next application, whether embedded or not.
3. Galileo Mission Segment
• Galileo - Europe’s own Global Positioning system
• Split into three segments – each with its own Prime contractor
• Mission Segment
– Responsible for production and integrity of Galileo broadcast message
– 100+ globally distributed sensor stations
– 40 Uplink Antennas
– Two control centres (GCC), comprising
• Data processing elements
• Monitoring and Control elements
• Crypto / Authentication elements
• Archiving
• Time Reference
• External Interface elements
4. 16/10/2012 AIVP Future Applications
Motivation(s) for an AIVP
• Assembly, Integration and Verification Platform
• Each GMS Element developed by a different European contractor
– Varying delivery schedules (and slips)
– Varying states of maturity
– Varying Interface Implementations
– Varying quality of implementation
• AIV Platform
– breaks dependencies between schedules for the AIV team
– Gives a ‘reference’ implementation for interfaces
– Can check / substitute for faulty elements
– Can substitute for incomplete elements
` …and more…
6. Elements Check-out on delivery
Sensor
Station
Sensor
Station
Sensor
Station
Sensor
Station
Sensor
Station
Processing
Facility #2
Processing
Facility #1
Processing
Facility #3
Uplink
Station
Uplink
Station
Uplink
Station
Uplink
Station
Uplink
Station
Messaging
Facility
Emulated
Real Not Represented
7. Chain Integration & Gap Filling
Sensor
Station
Sensor
Station
Sensor
Station
Sensor
Station
Sensor
Station
Processing
Facility #2
Processing
Facility #1
Processing
Facility #3
Uplink
Station
Uplink
Station
Uplink
Station
Uplink
Station
Uplink
Station
Messaging
Facility
Emulated
Real Not Represented
10. Development Background
• Commissioned by Thales Alenia Space
(GMS Prime [Fr] & AIV Partner [De])
• Programme in 7th year:
– Multi-million Euro development
– Initial system development – 4 years
– Operational deployment and evolution – 2 years
– Upgrade programme for Galileo FOC phase – 2 years (then maintenance)
• Five original (IOV) systems produced (each as 2x19” racks), plus 5 ‘light’
laptop instances
• Four upgraded (FOC) systems in production (each as 1x19” rack), plus 4
‘light’ laptop instances
• Original IOV systems upgraded to new FOC S/W standard
11. Qualified for Qualification
• The GMS AIVP has been designed with Qualification
processes at its heart.
– Configuration Control is built in, to ensure test results are
traceable and repeatable
– Scripting of user commands aids repeatability, efficiency and
knowledge capture. Scripts themselves can be qualified, if
needed
– Recording of interface traffic enables test results to be
analysed and kept as qualification records
– AIVP itself is developed and qualified to Galileo Software
Standard (GSWS).
System Qualification results obtained with AIVP are trusted
15. Auto-Generation of CODECs
• Emulator message encoders / decoders
auto-generated as SMP2-compliant models
from:
– XSD Schemas
– ASN.1 Schemas
• Allows rapid update of AIVP in response
to re-issue of interface specification by element developers
• Common CODEC libraries used by all emulators
• Emulator behavioural models interface with message CODECs in a way
that supports forward / backward compatibility (limits apply)
• CODEC (re)generation capability delivered to GMS Factory
Emulator
Behavioural
Model
CODEC
Library
17. In use at Pforzheim (GMS Factory)
• GMS has ~3000 requirements
• ~70% of all verification tests performed using the AIVP
• In daily use, with three separate platforms available to the TAS AIV team
• Currently supporting Galileo Full Operational Capability (FOC)
qualification
• Will be deployed as operational component of GMS for through-life
support…
– Long term GMS corrective maintenance support
– Training system for GMS operators and engineers
– (Re)Qualification of GMS design evolutions
16/10/2012
18. Future Applications
• The design is tailored to GMS, but not specific to it
• AIVP has strong potential for re-use in other
integration programmes (for Space industry or beyond).
– General architecture, so suitable for application outside Galileo programme
– Protocol support, and customisation, is extendable
– Scalable from laptop to multi-rack deployment
– Element Behavioural modelling can be entirely omitted* or developed to
high fidelity or complexity**
• Applicable to wide range of network-based systems-of-systems
*e.g. GMS PTF Emulator **e.g. GSS Emulator
20. Summary of GMS AIVP
The Galileo GMS integration programme has produced a new AIV infrastructure,
based on SIMSAT, and suitable for general re-use on IT systems.
The Assembly, Integration and Verification Platform (AIVP) incorporates:
• Network distributed modelling supporting many model instances (>100) of many
types of entity
• Auto-generation of message encoder / decoder (CODEC) models based on ICD
schemas (XSD, ASN.1)
• Element Behavioural Models at generic and custom-coded levels
• Protocol support for UDP, TCP/IP; FTP, SNMP, ASN.1, XML (more could be
added)
• Application specific protocol use (e.g. GMS rules for FTP use)
• Timing accuracy for events to (at least) +/-10ms
• Scenario design and deployment via rapid user-friendly MMI
• Built-in Configuration Management, Results capture and Analysis capability
• Central SIMSAT-based GUI for Scenario control
• GSWS Qualified implementation