78,076 Hits in 5.2 sec

Dynamic Safety Cases for Through-Life Safety Assurance

Ewen Denney, Ganesh Pai, Ibrahim Habli
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
We describe dynamic safety cases, a novel operationalization of the concept of through-life safety assurance, whose goal is to enable proactive safety management.  ...  We then identify the key elements required to move towards a formalization of the associated framework.  ...  assets Continuous, through-life updates to safety systems  ... 
doi:10.1109/icse.2015.199 dblp:conf/icse/DenneyPH15 fatcat:c2cdpwxufvdm5efqyghk4fza3m

Towards Hybrid Cloud Service Certification Models

Spyros Katopodis, George Spanoudakis, Khaled Mahbub
2014 2014 IEEE International Conference on Services Computing  
The paper argues about the need for hybrid certification and examines some basic characteristics of hybrid certification models.  ...  Recent work on cloud service certification applies dynamic forms of security assessment, notably dynamic testing (e.g., [4] ) or continuous monitoring (e.g., [6] [10] ).  ...  Hybrid certification models as introduced are based on continuous monitoring of security services and automated testing of these.  ... 
doi:10.1109/scc.2014.59 dblp:conf/IEEEscc/KatopodisSM14 fatcat:mlvgyx67tnhyxnxb7o43vgsn3y

Towards Transparent and Trustworthy Cloud

Marco Anisetti, Claudio A. Ardagna, Ernesto Damiani, Antonio Mana, George Spanoudakis
2017 IEEE Cloud Computing  
In this paper, we start from the assumption that an opaque cloud does not fit security, and present a reliable evidence collection process and infrastructure extending existing assurance techniques towards  ...  Like all computing paradigms based on outsourcing, the use of cloud computing is largely a matter of trust.  ...  To accommodate the dynamic and adaptive nature of the cloud, cloud service behavior MUST be continuously checked, through a continuous and realtime process for evidence collection.  ... 
doi:10.1109/mcc.2017.51 fatcat:o66qvfknu5haxjgzmnwxxgqxou

Factors Influencing Implementation of OHSAS 18001 in Indian Construction Organizations: Interpretive Structural Modeling Approach

Sunku Venkata Siva Rajaprasad, Pasupulati Venkata Chalapathi
2015 Safety and Health at Work  
Results: Safety culture, continual improvement, morale of employees, and safety training have been identified as dependent variables.  ...  Conclusion: Management commitment has the maximum driving power and the most influential factor is safety policy, which states clearly the commitment of top management towards occupational safety and health  ...  policy, manifest compliance to others, uphold and continually upgrade OHS management systems, and diligence towards compliance with OHSAS certification.  ... 
doi:10.1016/ pmid:26929828 pmcid:PMC4674494 fatcat:lh5cuict4jg5je36onhpm7df5i

Towards Continuous Safety Assessment in Context of DevOps [article]

Marc Zeller
2021 arXiv   pre-print
In this paper, we outline a continuous delivery pipeline for realizing continuous safety assessment in software-intensive safety-critical systems based on model-based safety assessment methods.  ...  Traditionally, promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions.  ...  Moreover, we illustrate a pipeline which allows continuous safety assessment based on these approaches as a first vital step towards continuous delivery in software-intensive safety-critical systems.  ... 
arXiv:2106.07200v1 fatcat:z6ubykkiz5hyrk2htbncp3bs2e

Increasing the Quality and Availability of Evidence-based Treatment for Tobacco Dependence through Unified Certification of Tobacco Treatment Specialists

Christine E. Sheffer, Thomas Payne, Jamie S. Ostroff, Denise Jolicoeur, Michael Steinberg, Sharon Czabafy, Jonathan Foulds, Matthew Bars, Ken Wassum, Barbara Perry
2014 Journal of Smoking Cessation  
evidence-based treatment for tobacco use and dependence for all tobacco users.  ...  Increasing the availability of high-quality evidence-based treatment for tobacco use and dependence will make it more likely that tobacco users use evidence-based treatments and that quit attempts translate  ...  Collaboratively develop a treatment plan that uses evidence-based strategies to assist the client in moving toward a quit attempt, and/or continued abstinence from tobacco. d.  ... 
doi:10.1017/jsc.2014.30 fatcat:ozuooritandc3gkdeczrplo6zi

B-space: dynamic management and assurance of open systems of systems

Daniel Schneider, Mario Trapp
2018 Journal of Internet Services and Applications  
Connected cars, freely configurable operating rooms, or autonomous harvesting fleets: dynamically emerging open systems of systems will shape a new generation of systems opening up a vast potential for  ...  on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems.  ...  Acknowledgments The work presented in this article is partially supported by the DEIS project -Dependability Engineering Innovation for Automotive CPS.  ... 
doi:10.1186/s13174-018-0084-5 fatcat:zokgmulyhrenbdnrti46f2kw4y

Effects and Benefits from ISO Certification in Albanian Businesses

Ira Zoga, Nikollaq Pano
2016 European Journal of Multidisciplinary Studies  
The main purpose of this paper is to examine the influence of ISO standards implementation in Albanian companies, through evidence of expected benefits and the actual ones at the framework of a company  ...  The analysis is based on a theoretical overview of the advantages and results expected to derive from the certification, according to the abundant literature of the last decade.  ...  ISO 9000 offers organizations the capability to develop and implement an effective and dynamic quality management system with a focus on continual improvement, but the certification itself doesn't ensure  ... 
doi:10.26417/ejms.v3i1.p131-139 fatcat:y6v7vk2o3fesvkjj7oi35jetfu

Towards Pattern-Based Reliability Certification of Services [chapter]

Ingrid Buckley, Eduardo B. Fernandez, Marco Anisetti, Claudio A. Ardagna, Masoud Sadjadi, Ernesto Damiani
2011 Lecture Notes in Computer Science  
In this paper we describe a certification scheme based on machine-readable reliability certificates that will enable run-time negotiation.  ...  Our certificates describe the reliability mechanism implemented by a service and the reliability pattern used to implement such a mechanism.  ...  This material is based upon work supported by the National Science Foundation under Grant No. OISE-0730065.  ... 
doi:10.1007/978-3-642-25106-1_10 fatcat:jydbkvdpuncbvl4wxnbrx7s34m

Privatizing the commons: New approaches need broader evaluative criteria for sustainability

Stefan Partelow, David J. Abson, Achim Schlüter, María Fernández-Giménez, Henrik Von Wehrden, Neil Collier
2019 International Journal of the Commons  
Second, we analyze the broader implications of privatization for social-ecological system functioning considering (3) path dependency and (4) spillover effects.  ...  While sustainability outcomes often cannot be fully actualized, the processes through which privatization attempts to achieve them are more tangible criteria.  ...  Two points can be discussed about how market-based certification schemes can create institutional path dependencies in fisheries governance.  ... 
doi:10.18352/ijc.938 fatcat:jlk455anbjcbzmqz4hr4bmwmo4

Cybersecurity in ICT Supply Chains: Key Challenges and a Relevant Architecture

Xavi Masip-Bruin, Eva Marín-Tordera, José Ruiz, Admela Jukan, Panagiotis Trakadas, Ales Cernivec, Antonio Lioy, Diego López, Henrique Santos, Antonis Gonos, Ana Silva, José Soriano (+1 others)
2021 Sensors  
chains of ICT systems, built upon distributed, dynamic, potentially insecure, and heterogeneous ICT infrastructures.  ...  functionalities related to risks and vulnerabilities management, accountability, and mitigation strategies, as well as security metrics and evidence-based security assurance.  ...  The security assurance and certification management is responsible for the provision of the auditable, evidence-based evaluation and certification of the assurance posture of complex ICT systems, based  ... 
doi:10.3390/s21186057 pmid:34577264 pmcid:PMC8472925 fatcat:636yeofcrfe35gcxaf6pku7uiu

Cyber Insurance of Information Systems: Security and Privacy Cyber Insurance Contracts for ICT and Helathcare Organizations

George Hatzivasilis, Panos Chatziadam, Nikos Petroulakis, Sotiris Ioannidis, Matteo Mangini, Christos Kloukinas, Artsiom Yautsiukhin, Michalis Antoniou, Dimitrios G. Katehakis, Marios Panayiotou
2019 2019 IEEE 24th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD)  
Therefore, an insured system is certified dynamically, with the risk and insurance perspectives being evaluated at runtime as the system operation evolves.  ...  In this paper, we present CyberSure -an insurance framework for information systems. CyberSure investigates the interplay between certification, risk management, and insurance of cyber processes.  ...  Also, in current practice, the estimation of risk and creation of insurance contracts do not consider detailed operational evidence obtained through continuous monitoring and testing.  ... 
doi:10.1109/camad.2019.8858165 dblp:conf/camad/HatzivasilisCPI19 fatcat:dnvq7iidtfddzlyqhm6f4rjvwq

Explaining the impact of ISO 14001 on emission performance: a dynamic capabilities perspective on process and learning

Michael V. Russo
2009 Business Strategy and the Environment  
One of the keystones of the dynamic capability model is path dependent learning.  ...  A very extensive study of environmental management systems has been conducted by researchers associated with the National Database on Environmental Management Systems (NDEMS), based at the University of  ...  Finally, path dependencies and continuous improvement (Teece et al., 1997) are inherent in tasks that characterize environmental management.  ... 
doi:10.1002/bse.587 fatcat:mda67om5hze2npohlab7ngs7em

Certification considerations for adaptive systems

S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, E. Engstrom
2015 2015 International Conference on Unmanned Aircraft Systems (ICUAS)  
This paper discusses the characteristics of adaptive algorithms and the challenges they present to certification for operation in the National Airspace System (NAS).  ...  Advanced capabilities planned for the next generation of unmanned aircraft will be based on complex new algorithms and non-traditional software elements.  ...  As with any testing-based validation, one key problem with a licensing approach is that any test-based evidence of acceptable behavior may be completely invalidated by a change to the system.  ... 
doi:10.1109/icuas.2015.7152300 fatcat:hqa4gpy4kvcntoqbcpxbnbwn74

Developing stronger practitioner certification in coaching-related professions: a USA perspective

Sherryl Stalinski
2003 International Journal of Evidence Based Coaching and Mentoring  
This is a welcome sign that corporations are starting to understand the need and value for developing the human systems on which their process systems depend.  ...  Likewise, understanding organizational culture from the perspective of systems thinking and evolutionary theory can enable coaches and consultants to guide their clients toward conscious cultural evolution  ... 
doaj:40d0bfb56e754312bffe531bfd0466f5 fatcat:622lslwe3ve7vaq2fb4sfg6oqe
« Previous Showing results 1 — 15 out of 78,076 results