Filters








15,711 Hits in 4.8 sec

Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach

George Spanoudakis, Ernesto Damiani, Antonio Mana
2012 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering  
This is the unspecified version of the paper. This version of the publication may differ from the final published version.  ...  However, it also raises significant concerns regarding the security, privacy, governance and compliance of the data and services offered through it.  ...  This infrastructure will provide models, processes and tools supporting the certification of compliance and security properties of all types of cloud services, i.e., infrastructure (IaaS), platform (PaaS  ... 
doi:10.1109/hase.2012.16 dblp:conf/hase/SpanoudakisDM12 fatcat:inpg7npbfrbnnpgfjvkup4rivi

Ecosphere Principles for Medical Application Platforms

Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby
2015 2015 International Conference on Healthcare Informatics  
certification organizations, and regulatory agencies.  ...  The assurance of MAP components and systems is distributed across a broad group of stakeholders including medical device manufacturers, platform infrastructure providers, application vendors, third-party  ...  CT. 9 Approve and distribute tools that support interface composition and compliance certification processes (CA.7).  ... 
doi:10.1109/ichi.2015.30 dblp:conf/ichi/KimPHRR15 fatcat:opoyvi32wbcclkgp6hinv5lpau

Bird-strike simulation for certification of the Boeing 787 composite moveable trailing edge

Steve Georgiadis, Andrew J. Gunnion, Rodney S. Thomson, Bruce K. Cartwright
2008 Composite structures  
A validated simulation methodology has been developed to support the bird-strike certification of the carbon fibre epoxy composite, moveable trailing edge (MTE) of the Boeing 787 Dreamliner.  ...  The modelling procedures were validated firstly through comparison with existing test data and secondly through the testing and analysis of representative structures.  ...  New certification compliance approach In this work, a certification approach has been used in which bird-strike compliance is demonstrated through explicit FE analysis and validated and verified through  ... 
doi:10.1016/j.compstruct.2008.03.025 fatcat:kbkxdsvpmbhs7ouzg5sqvezco4

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
2020 Software Engineering  
In this paper the extension of an intelligent compositional verification framework for cyber-physical systems is presented and the capabilities of accompanying underspecificationrefinement steps by verification  ...  These and the rapid increase of computation capabilities suggest that a prominent application for reducing certification costs of critical systems such as intelligent flight control systems or assistance  ...  These bring new challenges to certification processes.  ... 
dblp:conf/se/KauschPRR20 fatcat:ixsme6hfv5cehbh5ezn64wmusm

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
2020 CEUR Workshop Proceedings  
In this paper the extension of an intelligent compositional verification framework for cyber-physical systems is presented and the capabilities of accompanying underspecificationrefinement steps by verification  ...  These and the rapid increase of computation capabilities suggest that a prominent application for reducing certification costs of critical systems such as intelligent flight control systems or assistance  ...  These bring new challenges to certification processes.  ... 
doi:10.18154/rwth-2020-08278 fatcat:j5wnd4jedffqtdf3um7axqcwti

Formal Certification and Compliance for Run-Time Service Environments

Howard Foster, George Spanoudakis, Khaled Mahbub
2012 2012 IEEE Ninth International Conference on Services Computing  
provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering.  ...  In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking  ...  Such a partnership can aid mechanically checking and detecting levels of service compliance and, through those forms of analysis, to ensure certifications are upheld through the software engineering process  ... 
doi:10.1109/scc.2012.23 dblp:conf/IEEEscc/FosterSM12 fatcat:v7tuavkux5hsxdvmbk6bloerd4

Test-Based Security Certification of Composite Services

Marco Anisetti, Claudio Ardagna, Ernesto Damiani, Gianluca Polegri
2018 ACM Transactions on the Web  
It virtually certifies composite services, starting from certificates awarded to the component services.  ...  certified for individual components, regardless of the adopted composition model.  ...  Certification-based compliance verification We show how our certification process can be adopted as the basis to verify compliance of ENGPay payment authorization process against PCI DSS standard.  ... 
doi:10.1145/3267468 fatcat:qcvjfylinfg27kmebvhxymijq4

Digital certification of aviation equipment on the basis of "Siemens PLM Software" technologies

Sergey V. Novikov, Andrey A. Sazonov
2019 Econimics Journal  
In the theoretical part of the article, the authors point out that during certification a project usually goes through two stages: validation and verification.  ...  "Verification Management" solution forms a closed traceability cycle for all stages of the control process of project decisions aimed to confirm compliance of the design with specified requirements.  ...  Discussion Field testing of aerospace and defense equipment is necessary to verify compliance with design requirements.  ... 
doi:10.46502/issn.2711-2454/2019.1.02 fatcat:zfcpol72crhxjb3ni6ciig2bhm

The Impact of Certification Criteria on Integrated COTS-Based Systems

M. Kelkar, R. Perry, R. Gamble, A. Walvekar
2007 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07)  
Furthermore, security certification criteria governing the integrated system can introduce conflicts with local component policies.  ...  Security policies and certification criteria lack a common representation. Security policies use various formats and levels of granularity without comparable attributes.  ...  Authentication is the process of verifying the digital identity of a component, as illustrated with certificate delegation in Section 3.  ... 
doi:10.1109/iccbss.2007.42 dblp:conf/iccbss/KelkarPGW07 fatcat:34h5fcfrofglppqnwmyjbjsm44

Study on Airworthiness Requirements of Composite Aircraft Structure for Transport Category Aircraft in FAA

Xie Jian, Lu Yao
2011 Procedia Engineering  
This article presents an analysis and testing methodology to support certification and maintenance of composite structures based on establishment of residual strength versus damage size relationships,  ...  A reference is provided to native composite structural airworthiness certification for transport category aircraft.  ...  The depth and detail of certification are related with function of components and degree of importance.  ... 
doi:10.1016/j.proeng.2011.10.028 fatcat:yi27uwot7ndbveklle7lt6ryva

Establishment of Aerospace Composite Materials Data Center for Qualification

Ho-Sung Lee, Seung Yun Rhee, Jong-Hoon Yoon, Joon-Tae Yoo, Kyung Ju Min
2015 Composites Research  
database through Aerospace Composite Materials Data Center to be approved by Korea Civil Aviation Certification Agency.  ...  Therefore, in order to use composite materials for aircraft, the certifying agency requires a robust database with extensive tests and proof of the process unlike metals.  ...  Technology Evaluation and Planning (KICTEP) of Korean Ministry of Land, Infrastructure and Transport (MoLIT).  ... 
doi:10.7234/composres.2015.28.6.402 fatcat:76tvzyfb4jffxn5ktgxcwxjzjm

Data Protection and Cybersecurity Certification Activities and Schemes in the Energy Sector

Iheanyi Nwankwo, Marc Stauch, Panagiotis Radoglou-Grammatikis, Panagiotis Sarigiannidis, George Lazaridis, Anastasios Drosou, Dimitrios Tzovaras
2022 Electronics  
They also present manufacturers, providers and data controllers with the opportunity to demonstrate compliance with regulatory requirements through a verifiable third-party assessment.  ...  One of the outcomes of these reforms is the introduction of certification schemes for information and communication technology (ICT) products, services and processes, as well as for data processing operations  ...  or irregularities concerning the security of the certified ICT product, service or process that may impact its compliance with the requirements related to the certification.  ... 
doi:10.3390/electronics11060965 fatcat:hid2bcqh7nghvdm6ngctyw4l7i

Report on validated security certification methodology with subway pilot

Michal Hager, Petr Novobilsky, Jiri Sterba, Jan Henys
2021 Zenodo  
requirements are enhanced by the security certification with focus on identifying and solving obstacles/conflicts between those requirements and security certification.  ...  The report contains how the methodology was applied, improvement suggestions, suggestion for integration into existing and emerging certification schemes, illustrating how subway existing safety and regulatory  ...  The principles of composite certification, which simplifies and speeds up the product patch management process, have been verified on this model.  ... 
doi:10.5281/zenodo.5770431 fatcat:gxlyhhcj4nctpeb72w5fbmqkwe

Fire performance and regulatory considerations with modern methods of construction

Brian J. Meacham
2022 Buildings and Cities  
They are portrayed as providing significant economic and sustainability benefits over 'traditional' construction methods, e.g. efficiencies gained by integrating the processes and technologies of design  ...  Modern methods of construction (MMC) are becoming increasingly popular for a broad range of reasons.  ...  modern methods of construction.  ... 
doi:10.5334/bc.201 fatcat:ft7bflj2zjdare6tebbobf6lxe

Towards Assurance for Plug & Play Medical Systems [chapter]

Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2015 Lecture Notes in Computer Science  
The system integrator can asses the safety of the completed system before it is deployed.  ...  Ensuring the safety of these systems is challenging: Safety is a property of systems that arises from the interaction of system components and it's not possible to asses overall system safety by assessing  ...  It is the composition of the application model, the device models, and the environment model (We borrow the parallel composition operator, ||, from process algebras to denote the combination of two or  ... 
doi:10.1007/978-3-319-24255-2_17 fatcat:x3unp4cd3bekjmedtctpnluohq
« Previous Showing results 1 — 15 out of 15,711 results