Filters








64,777 Hits in 8.1 sec

Benefits of security-informed safety-oriented process line engineering

Barbara Gallina, Laurent Fabre
2015 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)  
To enable this systematization we introduce Security-informed Safety-oriented Process Line Engineering (SiSoPLE), which extends SoPLE to address security concerns.  ...  To show the effectiveness and benefits of SiSoPLE, we apply this new process line engineering to two aerospace standards, SAE ARP 4761 (Safety) and RTCA DO-326A (Security).  ...  Background This section recalls the essential background on which the presented work is based: safety and security, and security-informed safety; RTCA DO-326A; ARP4761; safety-oriented process lines engineering  ... 
doi:10.1109/dasc.2015.7311473 fatcat:za3d6j6i3rg37lbd3nfsrizmfu

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems [chapter]

Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
2016 Lecture Notes in Computer Science  
AUTOSAR and IMA), including multiple assurance concerns such as safety, security and reliability.  ...  activities via using model-based approaches and incremental techniques.  ...  From a methodological point of view, the SafeCer Safety-oriented Process Line Engineering remains valid.  ... 
doi:10.1007/978-3-319-45480-1_25 fatcat:7mds4xwzcna35pyonmfajpymuy

ESEM19_Supplementary_Materials [article]

Nitish Patkar
2019 Figshare  
development T4 DECIMAL 2005 S66 Tool-Supported Verification of Product Line Requirements T5 ST-Tool 2005 S10, S28, S23 Security and Trust Requirements Engineering ST-Tool: A CASE Tool  ...  A Game-Based Approach Towards Improving Collaboration and Participation in Requirement Elicitation T68 NLARE 2012 S103 NLARE, a natural language processing tool for automatic requirements evaluation  ... 
doi:10.6084/m9.figshare.8307089 fatcat:yqiavc3lcjgnrpqiaqvevlirtu

Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study [article]

Atif Mashkoor, Alexander Egyed, Robert Wille
2020 arXiv   pre-print
This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems.  ...  Integrated modeling and development of both safety and security concerns is an emerging field of research. Our mapping study provides an overview of the current state-of-the-art in this field.  ...  Acknowledgement The research presented in this technical report has been partly funded by the LIT Secure and Correct Systems Laboratory and the Austrian Ministry for Transport, Innovation and Technology  ... 
arXiv:2004.08471v1 fatcat:yd2swzwgjbgwtil4j4ng3mlxvu

Model-based construction work analysis considering process-related hazards

Jurgen Melzner, Sebastian Hollermann, Silvia Kirchner, Hans-Joachim Bargstadt
2013 2013 Winter Simulations Conference (WSC)  
Modern technologies, such as Building Information Modeling (BIM), are offering an object-oriented planning approach toward a project's lifecycle.  ...  This paper presents a research-in-progress project, where the BIM technology has been used to identify object-oriented and process-oriented job safety hazards.  ...  This tool is based on the captured empirical knowledge of safety engineers about construction safety hazards and the required safety measures.  ... 
doi:10.1109/wsc.2013.6721686 dblp:conf/wsc/MelznerHKB13 fatcat:fv2qtyiqnbbxjjodo6bbhl6k2u

Experimental Analysis of SPF Based Secure Web Application

Nitish Pathak, Girish Sharma, B. M. Singh
2015 International Journal of Modern Education and Computer Science  
For implementation of this Security Performance framework based trusted operating system, we propose object oriented based Code generation through forward engineering.  ...  The novel integration of security engineering with model-driven software expansion approach has varied advantages.  ...  Second, there is a lack of tools supporting security engineering. Third, the addition of security into a web application system by hand is complicated.  ... 
doi:10.5815/ijmecs.2015.02.07 fatcat:2xlgithcxfhyljvdlh3okaasc4

The autonomous intelligence challenge

Michel Cotsaftis
2018 Journal of Autonomous Intelligence  
The improvement process has always been guided by the same rules of researching higher efficiency and more secure effects each time.  ...  This leads to a progressive transfer of human action to more adapted and more specific effecting objects, from simple tools for elementary actions to more sophisticated machines for quite complex tasks  ...  The improvement process has always been guided by the same rules of researching higher efficiency and more secure effects each time.  ... 
doi:10.32629/jai.v1i1.12 fatcat:camgw4kt45asfoosrnvpwuqyay

Toward Unseating the Unsafe C Programming Language

Paul C. van Oorschot
2021 IEEE Security and Privacy  
Or will security and safety issues drive us toward tools and platforms (for example, building on Rust) that promise greater security?  ...  C-based examples get straight to the point, allowing compact illustrations of the concepts underlying stack-and heap-based buffer overruns and return-oriented programming, aside from integer-based vulnerabilities  ... 
doi:10.1109/msec.2020.3048766 fatcat:vpnevdu5yrd2pet3254hunzcci

Requirements Evolution From Process to Product Oriented Management [chapter]

Stuart Anderson, Massimo Felici
2001 Lecture Notes in Computer Science  
Current practice in Requirement Engineering relies on process-oriented methodologies, which lack of product features.  ...  This work represents a shift from process to product-oriented management of Requirements Evolution.  ...  The DIRC project has been funded by the UK EPSRC (Engineering and Physical Sciences Research Council).  ... 
doi:10.1007/3-540-44813-6_6 fatcat:yuzzatojezdxfm5rqaqn4xlm2a

Software engineering

Anthony Finkelstein, Jeff Kramer
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
and in particular in management of complex information in a software engineering setting.  ...  He has contributed research in the areas of software specification methods, software development processes, tool and environment support for software development.  ...  The work on product line architectures, if properly driven towards formal engineering systematisation, will contribute enormously to this. Befler understanding of modularity principles.  ... 
doi:10.1145/336512.336519 dblp:conf/icse/FinkelsteinK00 fatcat:7lq3qbkkbbdfhbsjpllh6vjoeq

Digital Transformation in Service and Computing Oriented Manufacturing [chapter]

Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira
2017 Studies in Computational Intelligence  
Reliability, availability, security, testability and maintainability of products, processes and systems as well as their greenness are evaluated through dependability and safety studies oriented towards  ...  Cloud manufacturing (CMfg), one of these new lines, has the potential to move from production-oriented manufacturing processes to customer-and service-oriented manufacturing process networks, e.g. by modelling  ... 
doi:10.1007/978-3-319-51100-9_1 fatcat:xrjznuzg4jf6laue6pvwlutho4

Certifiably safe software-dependent systems: challenges and directions

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul Jones
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
This paper considers the future of software engineering as needed to support development and certification of safety-critical softwaredependent systems.  ...  On the one hand there are unprecedented, exponential increases in size, inter-dependencies, intricacies, numbers and variety in the systems and distribution of development processes across organizations  ...  current practice of relying on process-oriented criteria alone.  ... 
doi:10.1145/2593882.2593895 dblp:conf/icse/HatcliffWKCJ14 fatcat:cclqub6ianezlgyt4o7e4wp4ja

A Survey on Techniques Requirements for Integrateing Safety and Security Engineering for Cyber-Physical Systems

Mohammed F. H Abulamddi
2016 International Journal of Computer Science & Engineering Survey  
Nowadays, safety and security have become a requirement, integrated to each other, for information systems as a new generation of infrastructure systems distributed throughout networks.  ...  We will conduct a survey exploring technical languages that were created by the scholars to combine safety and security requirement engineering and accident analysis technique languages.  ...  definitions between safety engineering and security engineering.  ... 
doi:10.5121/ijcses.2016.7601 fatcat:ulau3qlsffczvjpex3xpp3vjvq

Global Challenges and Innovative Technologies Geared Toward New Markets: Prospects for Virtual and Augmented Reality

Eberhard Blümel
2013 Procedia Computer Science  
This paper examines means by which digital engineering and virtual and augmented reality technologies can support the creation of sustainable smart manufacturing and smart logistics processes as well as  ...  Effective applied research is based on close collaboration between research and industry, which, taking the findings of basic research on customer demands as its starting point, creates new means to develop  ...  This new strategy process should orient itself more towards demand-driven questions.  ... 
doi:10.1016/j.procs.2013.11.002 fatcat:pm56ipqgbrcsxjkswr352j562e

IT Governance

Christof Ebert, Aurora Vizcaino, Antonio Manjavacas
2020 IEEE Software  
on the three lines of defense model • Automatically generates audit tasks based on regulatory guidance • Centralizes and connects policies, controls, authoritative guidance, risks and vulnerabilities,  ...  Business-oriented IT governance should be driven by two main objectives: adding value to the business through information technologies and mitigating the risks associated with them.  ...  Further information about him can be found at https://twitter.com/christofebert. Contact him at christof.ebert@ vector.com.  ... 
doi:10.1109/ms.2020.3016099 fatcat:swqq6pgsefblbl3yg4ruex7dry
« Previous Showing results 1 — 15 out of 64,777 results