43,811 Hits in 7.3 sec

The Role of Requirements and Specification in Product Line Engineering

Manfred Broy
2011 2011 15th International Software Product Line Conference  
The Role of Requirements and Specification in Product Line Engineering  ...  Chapter 2: PLE & REThe role of requirements in product lines engineering(PLE) •Products in product lines should be selected by choosing from requirementsRequirements driven PLE ◊ Which artifacts  ...  for choosing RE • Two levels of RE in PLE ◊ RE for a PLE (RE4PLE) ◊ RE for a product instance (PI) for a PLE (RE4PI@PLE) • Key questions ◊ Adequate structuring of system requirements for PLE ◊ Structuring  ... 
doi:10.1109/splc.2011.68 dblp:conf/splc/Broy11a fatcat:dpkhnynxkbhdfppisbtc3uw7s4

Safety analysis of software product lines using state-based modeling

Jing Liu, Josh Dehlinger, Robyn Lutz
2007 Journal of Systems and Software  
The paper uses a product line of embedded medical devices to demonstrate and evaluate the process and results.  ...  This approach provides a structured way to construct a state-based model of a product line having significant, safety-related variations.  ...  We thank Jeffrey Thompson, Guidant Corporation, for insightful feedback on preliminary versions of our approach and I-Logix for the use of their tools.  ... 
doi:10.1016/j.jss.2007.01.047 fatcat:3vq44ddyuzc53n5vvork34vim4

Improving the evolutionary architecting process for embedded system product lines

Jakob Axelsson
2011 2011 IEEE International Systems Conference  
Many industries developing complex products based on embedded systems rely on architecting as a key activity. Furthermore, they use product line approaches to find synergies between their products.  ...  In previous case studies we have seen that these companies often lack a defined process for the evolutionary architecting of these product lines.  ...  The embedded systems have developed into a large number of computers with distribution networks and millions of lines of software.  ... 
doi:10.1109/syscon.2011.5929065 fatcat:h5vc2ji4gfbszgkwkcqkmhl4ka

Methodologies for the development of knowledge-based systems, 1982–2002

2003 Knowledge engineering review (Print)  
This paper presents a brief discussion of some of the important research in knowledge-based system life cycles and development methods.  ...  Knowledge-based systems have often been criticised for the limited theoretical base upon which they are constructed.  ...  A philosophical foundation upon which CommonKADS is based is that of providing a framework for embedded systems to be created.  ... 
doi:10.1017/s026988890300064x fatcat:bpcexfurzjb2tlrr6yrl2ekouq

Security Enumerations for Cyber-Physical Systems [chapter]

Daniel Schlette, Florian Menges, Thomas Baumer, Günther Pernul
2020 Lecture Notes in Computer Science  
Models for CPS are thus proposed to cover comprehensiveness and usability. A prototype is used to evaluate the feasibility by demonstrating key features of security enumerations for CPS.  ...  In particular, complexity and interdependencies of components within these systems demand for an extension of current enumerations.  ...  To remediate the identified deficiencies, we propose an extension of CPE and CVE enabling a comprehensive description of CPS.  ... 
doi:10.1007/978-3-030-49669-2_4 fatcat:eox3odg7vfad7dueoqerxqe3hy

Software Engineering in Industrial Automation: State-of-the-Art Review

Valeriy Vyatkin
2013 IEEE Transactions on Industrial Informatics  
This paper presents one perspective on recent developments related to software engineering in the industrial automation sector that spans from manufacturing factory automation to process control systems  ...  The survey focuses mainly on research publications which are believed to be representative of advanced industrial practices as well.  ...  As a case study, tasks for a production line of aluminium ingots are designed. Lifecycle characteristics C.  ... 
doi:10.1109/tii.2013.2258165 fatcat:sx4qitarozdehokrdm2cwrp5oe

Developing critical systems with PLD components

Adrian Hilton, Jon G. Hall
2005 Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05  
Programmable logic devices (PLDs) are now common components of critical systems, and are increasingly used for safety-related or safety-critical functionality.  ...  programming technology to keep pace with PLD functionality.  ...  The authors are grateful to Brian Dobbing and David Cooper from Praxis Critical Systems Ltd. and Tim Murray from QinetiQ Ltd. for advice and information given during the writing of this paper.  ... 
doi:10.1145/1081180.1081190 fatcat:pjv34dxiv5hf7ir64zruxpy5xe

Software Architecture Description and UML [chapter]

Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic
2005 Lecture Notes in Computer Science  
The upcoming UML 2.0 standard has also created great expectations about the potential of the language to capture software architectures, to allow for early analysis of systems under development and to  ...  Over the past ten years, formal or less formal Architecture Description Languages (ADLs) and supporting methods and tools have been proposed by researchers.  ...  Therefore it fosters efficient, formalized traceability between requirements on a Product Line level and detailed design of individual products in PL.  ... 
doi:10.1007/978-3-540-31797-5_3 fatcat:v4hwitnujrgvjdcrpwv4wwfpxm

A formalism for utilization of sensor systems and integrated project models for active construction quality control

Burcu Akinci, Frank Boukamp, Chris Gordon, Daniel Huber, Catherine Lyons, Kuhn Park
2006 Automation in Construction  
Emerging sensing technologies and project modeling capabilities motivate the development of a formalism that can be used for active quality control on construction sites.  ...  In this paper, we outline a process of acquiring and updating detailed design information, identifying inspection goals, inspection planning, as-built data acquisition and analysis, and defect detection  ...  Acknowledgement The project is funded by a grant from the National Science Foundation, CMS #0121549. NSF's support is gratefully acknowledged.  ... 
doi:10.1016/j.autcon.2005.01.008 fatcat:jlcthdq7fzcxlesnikugqymkea

2.1.1 Putting Chaos under Control: on how Modeling should Support Design

Hristina Moneva, Roelof Hamberg, Teade Punter, John Vissers
2010 INCOSE International Symposium  
This dynamic and flexible approach is needed to deal with the continuous change in requirements: the 'Tsunami' of functionality [Punter 2008].  ...  Complex systems design faces the lack of seamless integration of model-based methods and techniques.  ...  Acknowledgment This work has been performed as part of the "Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems (MULTIFORM) project, supported by the Seventh Research  ... 
doi:10.1002/j.2334-5837.2010.tb01063.x fatcat:raci5cqzqvbu3okoxisyh4nscy

An Adaptive Design Methodology for Reduction of Product Development Risk

Hara Gopal Mani Pakala, Varaprasad, Raju, Ibrahim Khan
2011 International Journal of Ad Hoc, Sensor and Ubiquitous Computing  
However, product uncertainty is highest during early stages of development. Design verification is an essential step in the development of any system, especially for Embedded System.  ...  Embedded systems interaction with environment inherently complicates understanding of requirements and their correct implementation.  ...  BACKGROUND Many of the embedded system complexities are adding to the system-level design gap [8] and are propelling software functional and non-functional requirements to such unprecedented heights  ... 
doi:10.5121/ijasuc.2011.2303 fatcat:vxn5ijy6v5evhhzbntkxj2x63e

Interferometer software development at JPL: using software engineering to reduce integration headaches

Michael D. Deck, Braden E. Hines, Robert D. Reasenberg
1998 Astronomical Interferometry  
And team ownership of work products permits the project to grow while providing a variety of opportufiities to team members.  ...  New documentation and review techniques based on formal methods permit early identification of potential interfaee problems.  ...  A futwe goal is to bring formal methods (see below) to bear on this problem-as well.  ... 
doi:10.1117/12.317193 fatcat:spfcnngibzhofflt47iexk74ki

Towards a DEVS-based Operating System

Daniella Niyonkuru, Gabriel Wainer
2015 Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation - SIGSIM-PADS '15  
Embedded systems are becoming increasingly complex and heterogeneous. Formal methods have proven effective in ensuring reliability and safety. However, they are hard to scale up.  ...  Modeling and Simulation (M&S)-based methods, on the other hand, deal effectively with scalability issues and provide the benefits of a risk-free testing environment.  ...  Most design methodologies are ad-hoc based, and therefore hard to scale up for larger systems, and/or require tremendous testing effort with no guarantee of a bug-free software product.  ... 
doi:10.1145/2769458.2769465 dblp:conf/pads/NiyonkuruW15 fatcat:ufeyeh3c7reqzlf6q4yn62e33y

Use, potential, and showstoppers of models in automotive requirements engineering

Grischa Liebel, Matthias Tichy, Eric Knauss
2018 Journal of Software and Systems Modeling  
Our results show that models are used for a variety of different purposes during RE in the automotive domain, e.g. to improve communication and to handle complexity.  ...  Several studies report that the use of model-centric methods in the automotive domain is widespread and offers several benefits.  ...  In line with this challenge, two interviewees in Company A suggested to have structural models that show how functions or subsystems are connected in the overall product.  ... 
doi:10.1007/s10270-018-0683-4 fatcat:unubo22mwnhflpfxlsgzscf77e

Practical Limits on Software Dependability: A Case Study [chapter]

Patrick J. Graydon, John C. Knight, Xiang Yin
2010 Lecture Notes in Computer Science  
We analyze a software assurance argument for weaknesses and extrapolate a set of limitations including dependence upon correct requirements, dependence upon reliable human-to-human communication, dependence  ...  Nevertheless, there is still no complete solution to building software for critical systems in which every aspect of software dependability can be demonstrated with high confidence.  ...  Acknowledgement We thank Brett Porter of AdaCore and the AdaCore corporation for their support of the MBCS project, Paul Allaire and Houston Wood for details of the Life-Flow LVAD, and Kimberly Wasson  ... 
doi:10.1007/978-3-642-13550-7_6 fatcat:3nogjeuy5bbqjhzws53yevk5km
« Previous Showing results 1 — 15 out of 43,811 results