Multiresolution modeling and simulation of an air-ground combat application

The High Level Architecture (HLA) establishes a common modeling and simulation framework facilitating interoperability and reuse of simulation components. Since 1996, ONERA (French Aeronautics and Space Research Centre) carries out several studies on HLA in order to gain a better understanding of the underlying mechanisms of HLA implementations. The first critical step of this initiative was to develop our own RTI from the HLA specifications. In order to evaluate the cost of making a transition from legacy simulations to HLA, we first developed an HLA federation simulating an air-ground combat involving a set of aircraft's engaged against a surface to air defense system. Current studies on HLA distributed simulation include security, WAN simulations and multiresolution. Conventional simulations represent entities at just one single level of resolution. Multiresolution representation of entities consists in maintaining multiple and concurrent representations of entities. In this paper we address the problem of how HLA services may allow to achieve multiresolution modeling and simulation. Our goal is not to provide a general framework as a basis for designing simulations of entities at different levels of resolution concurrently. We focus on experience feedback we have obtained by migrating a single level resolution HLA federation to a multi-level resolution federation. The selected application is an air-ground combat simulation involving aggregated patrols of aircraft's engaged against a surface to air defense system. In this paper, we briefly describe the air-ground combat simulation application. We then detail the multiresolution representation of entities (patrols and aircraft's), and discuss the chosen mechanisms allowing triggering aggregation from an entity-level representation, and conversely, triggering disaggregation from an aggregate representation. We focus on the HLA services we have selected to maintain several levels of representation concurrently and on methodological issues in designing multiresolution HLA simulations. We have tackled some difficulties and we propose a new HLA service that should make easier the user's task. This multiresolution management service can be added to our RTI or written by using existing HLA services. Finally, future trends are discussed

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central issue in the design of an embedded system is the definition of the hardware/software partitioning of the architecture of the system, which should take place as early as possible. SysML-Sec aims to extend the relevance of this analysis through the integration of security requirements and threats. In particular, we propose an agile methodology whose aim is to assess early on the impact of the security requirements and of the security mechanisms designed to satisfy them over the safety of the system. Security concerns are captured in a component-centric manner through existing SysML diagrams with only minimal extensions. After the requirements captured are derived into security and cryptographic mechanisms, security properties can be formally verified over this design. To perform the latter, model transformation techniques are implemented in the SysML-Sec toolchain in order to derive a ProVerif specification from the SysML models. An automotive firmware flashing procedure serves as a guiding example throughout our presentation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

A Taxonomy of Workflow Management Systems for Grid Computing

With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute scientific experiments on distributed resources. Such application scenarios require means for composing and executing complex workflows. Therefore, many efforts have been made towards the development of workflow management systems for Grid computing. In this paper, we propose a taxonomy that characterizes and classifies various approaches for building and executing workflows on Grids. We also survey several representative Grid workflow systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the design and engineering similarities and differences of state-of-the-art in Grid workflow systems, but also identifies the areas that need further research.Comment: 29 pages, 15 figure

A framework for smart production-logistics systems based on CPS and industrial IoT

Industrial Internet of Things (IIoT) has received increasing attention from both academia and industry. However, several challenges including excessively long waiting time and a serious waste of energy still exist in the IIoT-based integration between production and logistics in job shops. To address these challenges, a framework depicting the mechanism and methodology of smart production-logistics systems is proposed to implement intelligent modeling of key manufacturing resources and investigate self-organizing configuration mechanisms. A data-driven model based on analytical target cascading is developed to implement the self-organizing configuration. A case study based on a Chinese engine manufacturer is presented to validate the feasibility and evaluate the performance of the proposed framework and the developed method. The results show that the manufacturing time and the energy consumption are reduced and the computing time is reasonable. This paper potentially enables manufacturers to deploy IIoT-based applications and improve the efficiency of production-logistics systems