25 papers · ranked by Valyu relevance
Paul E. Black, Barbara Guttman, Vadim Okun
Certain commercial entities, equipment, or materials may be identified in this document in order to describe an experimental procedure or concept adequately. Such identification is not intended to imply recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that…
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev + 3 more
'Bertrand Meyer' 'Yinling Liu' 'ALiyu Alege'] The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of…
Basem Y. Alkazemi
Utilizing third party software components in thedevelopment of new systems became somewhat unfavourableapproach among many organizations nowadays. This reluctance is primarily built due to the lack of support to verify the quality attributes of software components in order to avoid potential mismatches with system€s…
Julio Escribano-Barreno, Marisol García‐Valls
> Abstract. Critical software systems face stringent requirements in safety, security, and reliability due to the circumstances surrounding their operation. Safety and security have progressively gained importance over the years due to the integration of hardware with software-intensive deployments that introduce…
Serghei Mangul, Thiago Mosqueiro, Dat Duong, Keith Mitchell + 12 more
Developing new software tools for analysis of large-scale, biological data is a key component of advancing computational, data-enabled research. Scientific reproduction of published findings requires running computational tools on data generated by such studies, yet little attention is presently allocated to the…
Pablo Orviz, J. Pína, Álvaro López García, Isabel Campos + 2 more
'Jorge Gomes'] Abstract Supporting e-Science in the EGI e-Infrastructure requires extensive and reliable software, for advanced computing use, deployed across over approximately 300 European and worldwide data centers. The Unified Middleware Distribution (UMD) and Cloud Middleware Distribution (CMD) are the channels to…
Konrad Hinsen, Daniel Katz
Most of today’s scientific research relies on computers and software for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the simulation of phenomena based on theoretical models. With the rapid increase of computational power, scientific software has…
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last 40 years. We argue that these costs justify researching, studying and applying…
Tiago Dias, Arthur Batista, Eva Maia, Isabel Praça
The prevalence of software systems has become an integral part of modern-day living. Software usage has increased significantly, leading to its growth in both size and complexity. Consequently, software development is becoming a more time-consuming process. In an attempt to accelerate the development cycle, the testing…
Virginie Wiels
Having a formal background, the unplanned experiment I would like to propose to assess the efficacy of standards for safety critical software would be to formally prove the following theorem: "if a software conforms to a standard, then it is correct". My favorite application domain is aerospace, so I propose to place…
Gopal P. Sarma, Travis W. Jacobs, Mark D. Watts, S. Vahid Ghayoomie + 2 more
'Stephen D. Larson' 'Richard C. Gerkin'] The growth of the software industry has gone hand in hand with the development of tools and cultural practices for ensuring the reliability of complex pieces of software. These tools and practices are now acknowledged to be essential to the management of modern software. As…
Christopher J. Lynch, Saikou Y. Diallo, Hamdi Kavak, Jose J. Padilla + 1 more
'Itzhak Benenson'] Verification is a crucial process to facilitate the identification and removal of errors within simulations. This study explores semantic changes to the concept of simulation verification over the past six decades using a data-supported, automated content analysis approach. We collect and utilize a…
Céline Hernandez, Morgane Thomas-Chollier, Aurélien Naldi, Denis Thieffry
At the crossroad between biology and mathematical modelling, computational systems biology can contribute to a mechanistic understanding of high-level biological phenomenon. But as our knowledge accumulates, the size and complexity of mathematical models increase, calling for the development of efficient dynamical…
Thomas Rhodes, Frederick Boland, Elizabeth Fong, Michael Kass
Software assurance is an important part of the software development process to reduce risks and ensure that the software is dependable and trustworthy. Software defects and weaknesses can often lead to software errors and failures and to exploitation by malicious users. Testing, certification and accreditation have…
Alexander Muacevic, John R Adler, Jawahar Rohith Raja, Alekhya Kella + 1 more
This review aims to provide an essential guide to computer system validation (CSV) in the pharmaceutical industry. CSV is a process for ensuring that computer-based systems produce data and information that meets a set of pre-defined requirements. The pharmaceutical industry relies on data integrity to ensure reliable…
Wladmir Araujo Chapetta, Jailton Santos das Neves, Raphael Carlos Santos Machado, Carlo Massaroni + 1 more
'Raphael Carlos Santos Machado' 'Carlo Massaroni' 'Lorenzo Scalise'] Modern sensors deployed in most Industry 4.0 applications are intelligent, meaning that they present sophisticated behavior, usually due to embedded software, and network connectivity capabilities. For that reason, the task of calibrating an…
Ali M. Alakeel
Software testing is a very labor intensive and costly task. Therefore, many software testing techniques to automate the process of software testing have been reported in the literature. Assertion-Based automated software testing has been shown to be effective in detecting program faults as compared to traditional…
Christopher I. Cooper, Delia Yao, Dorota H. Sendorek, Takafumi N. Yamaguchi + 8 more
Platform-specific error profiles necessitate confirmatory studies where predictions made on data generated using one technology are additionally verified by processing the same samples on an orthogonal technology. In disciplines that rely heavily on high-throughput data generation, such as genomics, reducing the impact…
Authors not listed
The increasing importance and predictive power of modern molecular modeling, driven by physics- and machine learning-based methods, necessitates a new collaborative architecture to replace the isolated, traditional model of software development. The traditional approach often led to redundant engineering effort, high…
Hirotaka Suetake, Tsukasa Fukusato, Takeo Igarashi, Tazro Ohta
Reproducibility of data analysis workflow is a key issue in the field of bioinformatics. Recent computing technologies, such as virtualization, have made it possible to reproduce workflow execution with ease. However, the reproducibility of results is not well discussed; that is, there is no standard way to verify…
Jeremy Li, Alex Rubinsteyn, Sergey Feldman, Timothy O’Donnell + 18 more
Scientific computing has become a central component of modern scientific discovery. Yet many computational tools are developed by small, specialized teams under incentives that encourage the release of rapidly prototyped tooling without commensurate attention to engineering concerns, including performance and…
Benjamin Neely, Yasset Perez-Riverol, Magnus Palmblad
The past decade has seen widespread advances in quality control (QC) materials and software tools focused specifically on mass spectrometry-based proteomics, yet the rate of adoption is inconsistent. Despite the fundamental importance of QC, it typically falls behind learning new techniques, instruments, or software.…
Authors not listed
Scientific discovery relies on innovative software as much as experimental methods, especially in proteomics, where computational tools are essential for mass spectrometer setup, data analysis, and interpretation. Since the introduction of SEQUEST, proteomics software has grown into a complex ecosystem of algorithms…
Malcolm Sim, Mohammad Ghazi Vakili, Felix Strieth-Kalthoff, Han Hao + 4 more
Self-driving laboratories (SDLs), which combine automated experimental hardware with computational experiment planning, have emerged as powerful tools for accelerating materials discovery. The intrinsic complexity created by their multitude of components requires an effective orchestration platform to ensure the…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…