English
Related papers

Related papers: Towards Assurance-Driven Architectural Decompositi…

200 papers

This paper proposes some new architectural metrics which are appropriate for evaluating the architectural attributes of a software system. The main feature of our approach is to assess the complexity of a software architecture by analyzing…

Software Engineering · Computer Science 2007-05-23 Jianjun Zhao

The design phase plays a vital role than all other phases in the software development. Software Architecture has to meet both the functional and non-functional quality requirements. The Evaluation of Architecture has to be performed, so…

Software Engineering · Computer Science 2015-06-18 A. Meiappane , B. Chithra , Prasanna Venkataesan

A variety of sources have noted that a substantial proportion of non trivial software systems fail due to unhindered architectural erosion. This design deterioration leads to low maintainability, poor testability and reduced development…

Software Engineering · Computer Science 2014-07-24 Frederik Schmidt , Stephen G. MacDonell , Andy M. Connor

Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a…

Programming Languages · Computer Science 2018-07-24 Thomas Häner , Damian S. Steiger , Krysta Svore , Matthias Troyer

The continuing process of software systems enlargement in size and complexity becomes system design extremely important for software production. In this way, the role of software architecture is significantly important in software…

Software Engineering · Computer Science 2010-05-25 K. Delhi Babu , P. Govinda Rajulu , A. Ramamohana Reddy , A. N. Aruna Kumari

Analyzing privacy threats in software products is an essential part of software development to ensure systems are privacy-respecting; yet it is still a far from trivial activity. While there have been many advancements in the past decade,…

Cryptography and Security · Computer Science 2024-08-08 Kim Wuyts , Avi Douglen

Building a quantum computer that surpasses the computational power of its classical counterpart is a great engineering challenge. Quantum software optimizations can provide an accelerated pathway to the first generation of quantum computing…

The principle of abstraction guides the design of interactive systems, yet we lack a conceptual framework to understand how it shapes interaction design. Existing models, such as the gulfs of execution and evaluation, do not explicitly…

Human-Computer Interaction · Computer Science 2026-05-13 Bryan Min , Sangho Suh , Jim Hollan , Haijun Xia

Supervisory Control and Data Acquisition (SCADA) systems support and control the operation of many critical infrastructures that our society depend on, such as power grids. Since SCADA systems become a target for cyber attacks and the…

Cryptography and Security · Computer Science 2012-11-19 Zhendong Ma , Paul Smith , Florian Skopik

Software architecture has been a key research area in the software engineering community due to its significant role in creating high quality software. The trend of developing product lines rather than single products has made the software…

Software Engineering · Computer Science 2015-07-27 Faheem Ahmed , Luiz Fernando Capretz

The complexity of today's visualization applications demands specific visualization systems tailored for the development of these applications. Frequently, such systems utilize levels of abstraction to improve the application development…

In the past decades, the revolutionary advances of Machine Learning (ML) have shown a rapid adoption of ML models into software systems of diverse types. Such Machine Learning Software Applications (MLSAs) are gaining importance in our…

Software Engineering · Computer Science 2021-07-12 Md Abdullah Al Alamin , Gias Uddin

In the product business still battles with the hard assignment of creating programming applications that meet quality gauges, and spending limitations. The requirement for programming to be without mistake remained a test to the IT…

Software Engineering · Computer Science 2017-02-02 Ahmed Mateen , Muhammad Jahanzaib , Nayyar Iqbal

Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts…

Software Engineering · Computer Science 2021-06-03 Kai Hoefig , Marc Zeller , Reiner Heilmann

Software model checkers based on under-approximations and SMT solvers are very successful at verifying safety (i.e. reachability) properties. They combine two key ideas -- (a) "concreteness": a counterexample in an under-approximation is a…

Logic in Computer Science · Computer Science 2013-06-11 Anvesh Komuravelli , Arie Gurfinkel , Sagar Chaki , Edmund M. Clarke

The architectural aspects of software systems are not always explicitly exposed to customers when a product is presented to them by software vendors. Therefore, customers might be put at a major risk if new emerging business needs come to…

Software Engineering · Computer Science 2012-10-16 Basem Y. Alkazemi

Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, differing use of language and philosophies, etc.. Many…

Software Engineering · Computer Science 2019-03-05 Nikita Johnson , Tim Kelly

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of…

Software Engineering · Computer Science 2011-07-07 Florian Leitner-Fischer , Stefan Leue

Users are demanding increased data security. As a result, security is rapidly becoming a first-order design constraint in next generation computing systems. Researchers and practitioners are exploring various security technologies to meet…

Cryptography and Security · Computer Science 2021-05-04 Deeksha Dangwal , Meghan Cowan , Armin Alaghi , Vincent T. Lee , Brandon Reagen , Caroline Trippel

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level of functional safety…

Software Engineering · Computer Science 2024-12-13 Vikas Vyas , Zheyuan Xu