Search

Showing total 3 results
Start Over Topic 02 engineering and technology Publisher ieee
3 results

1. Towards a Safe Software Development Environment

Author

Mahmoud Hussein, Reda Nouacer, Ansgar Radermacher, Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, In this paper, we have presented a number of use cases that are done in industrial and research projects. In the following, we present the funding organizations for these projects:- The SafeAdapt project was funded by the European Commission within the 7th Framework Program under the grant number '608945'.- The STANCE project was also funded by the European Commission under the ICT theme of the 7th Framework Program with the grant agreement number '317753'.- The OpenES project was funded under the CATRENE Program with the agreement number 'CA703-2013'.- The EQUITAS project was funded by Bpifrance under call FUI-AAP16 with a contract number 'F1312031-Q'.- The SESAM Grids is a 'Programme d'Investissement d'Avenir' project funded by 'FSN-Briques Génériques du Logiciel Embarqué N°3' with contract number J.- The VESSEDIA project receives funding from the European Union's Horizon 2020 Program (H2020/2014-2020) under grant agreement number '731453'., Novotny M., Kubatova H., Skavhaug A., European Project : 608945,EC:FP7:ICT,FP7-2013-ICT-GC,SAFEADAPT ( 2013 ), European Project : 317753,EC:FP7:ICT,FP7-ICT-2011-8,STANCE ( 2012 ), European Project : 731453, Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Novotny M., Kubatova H., Skavhaug A., European Project: 608945,EC:FP7:ICT,FP7-2013-ICT-GC,SAFEADAPT(2013), European Project: 317753,EC:FP7:ICT,FP7-ICT-2011-8,STANCE(2012), European Project: 731453, and Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

Subjects
Safety engineering, [ INFO ] Computer Science [cs], Computer science, Embedded systems, Systems analysis, Software development environment, Static code analysis, 02 engineering and technology, computer.software_genre, Software development process, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Software system, Software design, Safety analysis, Hardware and software, business.industry, Model driven development, Software development, Codes (symbols), 020207 software engineering, Open source software, Industrial research, 020202 computer hardware & architecture, Software framework, C (programming language), Engineering methodology, Systems development life cycle, Embedded system, Software construction, Package development process, Avionics software, Open source development, Software engineering, business, computer, Simulation
Abstract

Conference of 20th Euromicro Conference on Digital System Design, DSD 2017 ; Conference Date: 30 August 2017 Through 1 September 2017; Conference Code:130963; International audience; It is largely recognized that the architectures of embedded systems are becoming more and more complex both at hardware and software levels. Despite the significant advances in the development tools, developing the software of such systems while ensuring their safety is still a difficult task. In this paper, we propose an engineering methodology to ease the development of safe software systems. It consists of four main phases: system modelling and validation, code generation and integration, static code analysis, and dynamic code analysis. This methodology is realized using CEA LIST open-source development platforms: Papyrus, Frama-C, and UNISIM-VP. These platforms are results of many research and industrial projects such as FP7-SafeAdapt, FUI-EQUITAS, FP7-STANCE, CATRENE-OpenES, and FSN-SESAM Grids.

Published
2017

2. An Efficient Approach for Multi-tenant Elastic Business Processes Management in Cloud Computing Environment

Author

François Charoy, Guillaume Rosinosky, Samir Youcef, Bonitasoft, Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), CIFRE Bonitasoft, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and The authors would like to thank Gurobi for the usage of their optimizer, and Amazon Web Services for the EC2 instances credits (this paper is supported by an AWS in Education Research Grant award).

Subjects
Computer science, Business process, 0211 other engineering and technologies, Cloud computing, Multi-tenancy, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], Utility computing, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, Elasticity (economics), Multitenancy, 021103 operations research, Management science, business.industry, Bi-criteria optimization, Quality of service, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Elasticity, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], BPM, Risk analysis (engineering), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, Cloud
Abstract

International audience; Even though the proven benefits of cloud computing paradigm, it must face a serious problem that can compromise its commercial success. It concerns the lack of efficient approach for using optimally the available resources. For this, several approaches have been proposed. However,they suffer from several shortcomings. For instance, often only one objective is taken into account expressing all operations in terms of cost. Furthermore, business processes should be insured with elasticity and multitenancy mechanism while adjusting the available resources to the dynamic load distribution. The proposed approach aims to optimize two conflicting objectives, namely the number of migrated tenants and the cost incurred using a set of resources. It allows to take into account the multi-tenancy property and the Cloud computing elasticity, and is efficient as shown by an extensive experimentation based on real data from Bonita BPM customers.

Published
2016

3. Application of EBIOS for the risk assessment of ICT use in electrical distribution sub-stations

Author

Artur Hecker, Armaud Puccetti, John Mcdonald, Nouha Oualha, Frederic Planchon, Mesures et Systèmes d’info des Réseaux électriques (EDF R&D MIRE), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Département Intelligence Ambiante et Systèmes Interactifs (DIASI), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Télécom ParisTech, The work presented in this paper has been funded in part by the French National Research Agency (ANR – Agence National de Recherche), and Laboratoire d'Intégration des Systèmes et des Technologies (LIST)

Subjects
Engineering, Context (language use), Electrical distribution networks, security, Information technology, 02 engineering and technology, [SPI]Engineering Sciences [physics], Risk profile, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Information system, Industrial control systems, System risk assessment, Risk management, EBIOS, Risk assessment, Distribution substations, Electric power distribution, business.industry, 05 social sciences, Electrical distribution, 020207 software engineering, Industrial control system, Information and Communication Technologies, Risk analysis (engineering), Information and Communications Technology, Telecommunication, Systems engineering, 050211 marketing, business
Abstract

Conference of 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 ; Conference Date: 16 June 2013 Through 20 June 2013; Conference Code:101578; International audience; This paper addresses the challenge of applying an Information System risk assessment technique in the context of an Industrial Control System, specifically the electrical distribution network. This paper describes the application of the technique EBIOS (Expression des Besoins et Identification des Objectifs de Sécurité) to evaluate the risk associated with use of supporting Information and Communication Technologies (ICT) within distribution substations operation. The paper highlights the detailed and rigorous nature of the approach in addition to identifying some limitations of the approach notably the difficulties of representing both the interdependency between the electrical distribution network and its supporting ICT and the evolving risk profile of dynamic system. Consequently, the paper will also highlight ongoing work aimed at addressing these limitations.

Published
2013