Filters








27,288 Hits in 3.5 sec

r-AnalytiCA: Requirements Analytics for Certification & Accreditation

Seok-Won Lee, Robin A. Gandhi, Siddharth J. Wagle, Ajeet B. Murty
2007 15th IEEE International Requirements Engineering Conference (RE 2007)  
Numerous interdependent quality requirements imposed by regulatory Certification and Accreditation (C&A) processes enable a rich context to gather compliance evidences for promoting software assurance.  ...  The goal of the r-AnalytiCA workbench is to make sense out of the large collection of available evidences for a complex software system though multidimensional requirements-driven problem domain analysis  ...  Goal-driven Scenario Composition Ongoing and Future work Currently, r-AnalytiCA has been applied in the domain of C&A processes for assessing software system security qualities [2] .  ... 
doi:10.1109/re.2007.34 dblp:conf/re/LeeGWM07 fatcat:yha5og3qmralhlpxtko5jdodzq

Certification of Open Source Software – A Scoping Review [chapter]

Eirini Kalliamvakou, Jens Weber, Alessia Knauss
2016 IFIP Advances in Information and Communication Technology  
There is an increasing interest in software certification as a means to assure quality and dependability of such systems.  ...  The distributed, "bazaar-style" approach to software development in OSS systems is often perceived incompatible with certification.  ...  Today, OSS development is considered mainly community-driven and sustained through the volunteers that create and maintain the software.  ... 
doi:10.1007/978-3-319-39225-7_9 fatcat:iq3xwhsb7jfhtiuntwg5ztjnim

Component Certification as a Prerequisite forWidespread OSS Reuse

George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos
2010 Electronic Communications of the EASST  
A prerequisite for promoting widespread reuse of OSS software is certification at the component level in an affordable cost.  ...  We discuss the requirements relating to OSS software reuse based on the findings of a survey.  ...  Certification is not driven by some standard that defines how compliance is enforced, but it is guided by a domain-specific OSS reuse de facto standard, which is the underlying typical architecture.  ... 
doi:10.14279/tuj.eceasst.33.449 dblp:journals/eceasst/KakarontzasKS10 fatcat:vybkeuho7zgjjdmn4ubx5upn2m

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden
2009 Electronical Notes in Theoretical Computer Science  
At the second meeting, all participants were asked to complete the statement: "Software certification is hard because . . .".  ...  In this article, we describe the goals that we believe should be the goals of SCC, via details of these Top 9 hurdles that are preventing us from making software certification part of the mainstream.  ...  In this context, SCC, through McMaster University's Software Quality Research Laboratory, has initiated a "Software Grand Challenge" to the software engineering and formal methods communities, involving  ... 
doi:10.1016/j.entcs.2009.09.002 fatcat:4pnhgw5xunerhd7cgf7ly7lpsy

Bio-Inspired Intelligent System for Software Quality Certification

Saad Mohamed Darwish
2016 Journal of Software  
However, building accurate certification model is hard due to the lack of data in the domain of software engineering.  ...  This research participates in solving the problem of evaluating software quality by proposing a model that uses a fuzzy inference engine to integrate both of the processes-driven and application-driven  ...  In the previous generation of software development, software quality is measured through static assessment of code's structure.  ... 
doi:10.17706/jsw.11.4.362-375 fatcat:slewg2kbtzc57ngx6nhhey3wvu

Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
This includes aspects such as the specification of metamodels and domain specific languages for assurance, the extension and application of UML, and the use of model transformations. 632 Vara, J., Ruiz  ...  Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems.  ...  domain, and the certification of a signalling system in the railway domain.  ... 
doi:10.5220/0006733906320641 dblp:conf/modelsward/Vara0E18 fatcat:4cafnwsfardv7kulj7jcju42cq

Requirements Engineering Process according to Automotive Standards in a Model-Driven Framework

Morayo Adedjouma, Hubert Dubois, François Terrier
2013 Insight  
The research outcomes of this thesis were presented to, and reviewed by, various researchers in academia and by systems, quality and software engineers in industry.  ...  Microsoft Excel was also used to validate usability of the certification merging approach. Furthermore, the tools also offered a means for focused and effective peer -review.  ...  LaQuSo 1 (Laboratory for Quality Software) defines another certification model which is the Software Product Certification Model [HEC 08].  ... 
doi:10.1002/inst.201316412 fatcat:znbv5tttxvhoda3qgq3qt7o5z4

Model-Driven Engineering of a Railway Interlocking System
english

Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, András Zentai
2015 Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development  
Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality.  ...  We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company  ...  ACKNOWLEDGEMENTS This research has been supported by the People Programme (Marie Curie Actions) of the EU FP7 Programme 2007-2013 under REA grant agreement n.324334 CECRIS (CErtification of CRItical Systems  ... 
doi:10.5220/0005244805090519 dblp:conf/modelsward/ScippacercolaPR15 fatcat:qliiavkccfcnzdu3ncmoiehfuq

IVVES (Industrial-Grade Verification and Validation of Evolving Systems)

Pekka Aho, Tanja E. J. Vos, Otto Sybrandi, Sorin Patrasoiu, Joona Oikarinen, Olivia Rodriguez Valdes, Lianne V. Hufkens
2022 Research Challenges in Information Science  
We summarise the results of the project at a high level, and provide more details on the research and collaboration related to scriptless end-to-end testing through graphical user interface.  ...  This introduces new challenges for verification, validation and software testing. The traditional way of testing the systems during the development and before the deployment does not suffice anymore.  ...  To conclude, IVVES will develop cross-domain solutions with broad applicability that will be the foundation for standardisation and certification.  ... 
dblp:conf/rcis/AhoVSPOVH22 fatcat:p4n4ox7j2bd6vgcwwwrciutrgy

Revisiting the Users Award Programme from a Value Sensitive Design Perspective

Åke Walldius, Jan Gulliksen, Yngve Sundblad
2015 Aarhus Series on Human Centered Computing  
software through on-going user-driven quality assessment.  ...  Key activities are development of sets of quality criteria, as the U</span><span>SER </span><span>C</span><span>ERTIFIED </span><span>2002 and 2006 instruments, and performing large domain specific user  ...  The investigations and opinion making activities the UA programme has performed since its inception (domain specific user surveys, software certifications, prize competitions) indicate that the users also  ... 
doi:10.7146/aahcc.v1i1.21317 fatcat:od2lvxjd3vgdleybxwepfoaadi

Trends in Embedded Software Engineering

Peter Liggesmeyer, Mario Trapp
2009 IEEE Software  
We also thank the reviewers and editors for their comments, which helped us improve this article's quality.  ...  Here, we identify specific characteristics of embedded software, describe the paradigm of model-driven software engineering, and describe challenges and solutions to assure the quality of embedded software  ...  Even emerging standards such as ISO/CD 26262 for the automotive domain insufficiently address model-driven engineering of embedded software.  ... 
doi:10.1109/ms.2009.80 fatcat:tpfekrh74zhijlqoygvvgqgww4

Selected contributions from the Open Source Software Certification (OpenCert) workshops

Luís Soares Barbosa, Siraj Ahmed Shaikh
2014 Science of Computer Programming  
Rubanov and Silakov address this problem in their paper titled ''Ensuring Portability of Linux Applications through Standardization and Knowledge Base Driven Analysis".  ...  ., in their paper titled ''CAOVerif: An open-source deductive verification platform for cryptographic software implementations", tackle a domain-specific language for cryptographic software, namely CAO  ...  We are indebted to the reviewers for kindly contributing their time and effort to ensure the highest quality of each paper.  ... 
doi:10.1016/j.scico.2014.04.007 fatcat:lmnuuihzqvar5iajl2gd5nggsa

A toolkit for Reuse in Conceptual Modelling [chapter]

Raul Ruggia, Ana Paula Ambrosio
1997 Lecture Notes in Computer Science  
While research in Software Reuse has revealed that the application of Reuse in software development is extremely difficult, Conceptual Modelling appears as a more promising area because it manipulates  ...  These services include: quality validation of reusable components, component selection from the Repository, and new conceptual schema construction by customising and composing reusable ones.  ...  Conceptual Modelling is a complex process highly driven by the designer and involves capturing large amounts of problem and domain knowledge.  ... 
doi:10.1007/3-540-63107-0_13 fatcat:tzitlwyf3jarvm7h27r6bfspaq

The Software Architect's Role in the Digital Age

Gregor Hohpe, Ipek Ozkaya, Uwe Zdun, Olaf Zimmermann
2016 IEEE Software  
This insight, coupled with the increasing demand for delivering high-quality software more quickly, has changed how development teams approach architectural decision making.  ...  TRADITIONALLY, SOFTWARE architects were entrusted with making "decisions that are costly to change." 1 Because these decisions often had to be made early in the project, architects drew on their experience  ...  Examples include the Software Engineering Institute's Professional Software Architecture Certificate (www.sei.cmu .edu/training/certificates/architecture/professional.cfm), IASA Software Architect Certification  ... 
doi:10.1109/ms.2016.137 fatcat:dqequqacgnhpzgkoeefpcsha7m

High-Assurance Distributed, Adaptive Software for Dynamic Systems

Kurt Rohloff, Joseph Loyall, Partha Pal, Richard Schantz
2007 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)  
Exhaustive testing, documentation, code review, and formal methods have been the main approaches for software certification in high confidence cyber-physical systems.  ...  We need to develop innovative, economically feasible means to certify distributed dynamic control software for cyberphysical systems so that when these systems are deployed, harmful unpredictable emergent  ...  This certification process could run in the background when the software is deployed, and the software's configuration controller would only reconfigure to use configurations that have been designated  ... 
doi:10.1109/hase.2007.17 dblp:conf/hase/RohloffLPS07 fatcat:avx222d63fcyrkaptud6epnmqq
« Previous Showing results 1 — 15 out of 27,288 results