3,844 Hits in 6.8 sec

Incremental Realization of Safety Requirements: Non-determinism vs. Modularity [chapter]

Ali Ebnenasir
2015 Lecture Notes in Computer Science  
This paper investigates the impact of non-determinism and modularity on the complexity of incremental incorporation of safety requirements while preserving liveness (a.k.a. the problem of incremental synthesis  ...  of realizing safety.  ...  In this paper, we prove that non-determinism is not the major source of the complexity of incremental synthesis; rather it is modularization constraints that complicate the incremental synthesis of safety  ... 
doi:10.1007/978-3-319-24644-4_11 fatcat:53untalh2zenhnyfs6t4gyzeua

Seamless Object-Oriented Requirements

Alexandr Naumchev
2019 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)  
The experiments rely on several examples, some of which are used as benchmarks in the requirements literature.  ...  Concrete seamless object-oriented requirements inherit from these templates and become clients of the specified software.  ...  Acknowledgment We are indebted to the authors of the ASM version of the LGS case study [AGR17] for their careful work on this problem.  ... 
doi:10.1109/sibircon48586.2019.8958211 fatcat:dpver5l7nfgrtnmqj4jqnt3avm

Editorial: Early aspects: aspect-oriented requirements engineering and architecture design

Awais Rashid, Ana Moreira, Bedir Tekinerdogan
2004 IEE Proceedings - Software  
The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed  ...  This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004.  ...  Conor Ryan, Alan Gray, David McKitterick, Karl Quinn and Tonya McMorrow from the original Crystal Game development team, on which our case study was based, and Mary Lee for her work with early versions of  ... 
doi:10.1049/ip-sen:20041027 fatcat:zqxbrgz225c2djhxm72y7s754i

Utilizing Event-B for domain engineering: a critical analysis

Atif Mashkoor, Jean-Pierre Jacquot
2011 Requirements Engineering  
Safety-critical domains, like transportation, exhibit interesting features, such as high levels of non-determinism, complex interactions, stringent safety properties, multifaceted timing attributes, etc  ...  Well-specified requirements are crucial for good software design; they depend on the understanding of the domain. Thus, domain engineering becomes an essential activity.  ...  Motivation Most customers express their requirements either in natural language or in terms of scenarios. Most of the requirements engineering methodologies are therefore non-formal or semi formal.  ... 
doi:10.1007/s00766-011-0120-5 fatcat:zaqvk6whhbcjflonjj7eqn7nc4

Research Directions in Requirements Engineering

Betty H.C. Cheng, Joanne M. Atlee
2007 Future of Software Engineering (FOSE '07)  
In this paper, we review current requirements engineering (RE) research and identify future research directions suggested by emerging software needs.  ...  The research is considered with respect to technologies developed to address specific requirements tasks, such as elicitation, modeling, and analysis.  ...  They also need computing courses that teach them how to make design decisions that achieve requirements (e.g., modularity vs. performance requirements) in the context of the software's operating environment  ... 
doi:10.1109/fose.2007.17 dblp:conf/icse/ChengA07 fatcat:kaf5eipydjbkrc7q423dcpnim4

IIP-Ecosphere Platform – Requirements (Functional and Quality View)

Eichelberger Holger, Sauer Christian, Ahmadian Amir Shayan, Schicktanz Michael, Dewes Andreas, Palmer Gregory, Niederee Claudia
2021 Zenodo  
The document comprises 141 requirements with a total of 181 sub-requirements in 14 topic areas and now serves to derive a common architecture as well as the realization of the IIP-Ecosphere platform.  ...  The requirements are based on discussions with the partners and the (representatives of the) work packages or subprojects of IIP-Ecosphere, such as the demonstrators.  ...  [T, Q] Explanation: Safety-critical hard real-time requirements are out of scope, especially in the IT domain.  ... 
doi:10.5281/zenodo.4485773 fatcat:udgipri4ubdynj6xjajzccpu2i

Integrating high-level requirements in optimization problems: theory and applications

Fabio Roda
2013 4OR  
The first task of systems design is to identify and organize the stakeholders' needs and to specify them in a clear set of requirements, namely a set of non ambiguous, testable and measurable features  ...  The development of a system is always motivated by desiderata that are expressed by customers, end-users and other stakeholders who are external to the system to be realized.  ...  However, non-behavioral requirements have an important role in ensuring the realization of high quality systems.  ... 
doi:10.1007/s10288-013-0243-2 fatcat:fdl3dax2zbcvtmmhx6uqhjxcfa

Requirements engineering in automotive development: experiences and challenges

M. Weber, J. Weisbrod
2003 IEEE Software  
We argue that the issues presented here, while not necessarily being in the current focus of the requirements engineering research area, are of crucial importance for improving requirements engineering  ...  as domainindependent issues which are largely independent from requirements content and related to the administration and management of requirements.  ...  In particular, we would like to give special thanks to Matthias Hoffmann for his excellent comments on a draft of this paper.  ... 
doi:10.1109/ms.2003.1159025 fatcat:74vsf7ordrg4foaxqd44illcou

Handling obstacles in goal-oriented requirements engineering

A. van Lamsweerde, E. Letier
2000 IEEE Transactions on Software Engineering  
The various techniques proposed are illustrated and assessed in the context of a real safety-critical system.  ...  The lack of anticipation of exceptional behaviors results in unrealistic, unachievable and/or incomplete requirements.  ...  They propose an approach based on an incremental and iterative analysis of requirements for safety-critical systems in the context of system faults and human errors.  ... 
doi:10.1109/32.879820 fatcat:ktahvs5wo5buhmccnedgawmr2e

Morphed vertical tailplane assessment for certification requirements

Miguel Angel Castillo-Acero
2015 Zenodo  
The results, opinions, conclusions, etc. presented in this work are those of the author(s) only and do not necessarily represent the position of the JU; the JU is not responsible for any use made of the  ...  This paper therefore outlines what measures need to be taken to realize a PM starter/generator (S/G) that fulfils the aerospace safety requirements.  ...  For this reason, the classical "incremental + 1g" approach is no longer valid for aerial delivery analyses and an "incremental + pseudo-1g" approach is required.  ... 
doi:10.5281/zenodo.3905083 fatcat:jegirrd5jbgeho7qtr7o3sfzpi

Analysis of the Technological Evolution of Materials Requirements Included in Reactor Pressure Vessel Manufacturing Codes

Alvaro Rodríguez-Prieto, Mariaenrica Frigione, John Kickhofel, Ana M. Camacho
2021 Sustainability  
Nuclear Regulatory Commission (NRC) Regulatory Guide (RG) 1.99 Rev.2 model, enables determination of the best materials options, corresponding to some of the most widely used material specifications such  ...  The aim of this work is the analysis of historical advances in materials properties research and associated standardized design codes requirements. The analysis, based on the consolidated U.S.  ...  Acknowledgments: This work has been realized in the framework of the activities of the Research Group of the UNED "Industrial Production and Manufacturing Engineering (IPME)"and the Industrial Research  ... 
doi:10.3390/su13105498 fatcat:aesmkg55xzcrfabrwbx64vkeym

Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns [chapter]

Peri Tarr, Maja D'Hondt, Lodewijk Bergmans, Cristina Videira Lopes
2000 Lecture Notes in Computer Science  
The workshop produced the beginnings of a set of goals, requirements, and issues to be addressed by approaches to advanced separation of concerns.  ...  Requirements statements highlight requirements on approaches to advanced separation of concerns, and they are generally illustrated with examples.  ...  Several of these people also took primary responsibility for summarizing their groups' results, which greatly facilitated the writing of this report.  ... 
doi:10.1007/3-540-44555-2_16 fatcat:stfyq4f5ujax7cj45gvoi4kf4m

Designing Security and Privacy Requirements in Internet of Things: A Survey [article]

Nada Alhirabi, Omer Rana, Charith Perera
2019 arXiv   pre-print
Due to above complexities, more often non-functional requirements (such as security and privacy) tend to get ignored in IoT application development process.  ...  In this paper, we primarily focused on two different aspects: (1) design notations, models, and languages that facilitate capturing non-functional requirements (i.e., security and privacy), and (2) proactive  ...  After that, the proposed problem is investigated to determine the proposed system scope. In analysis phase, requirements are determined, and some alternative designs are suggested and compared.  ... 
arXiv:1910.09911v1 fatcat:77tyqetnbfhynnhkrxjezwxq6a

D2.1 Requirements: context of application

Angel Paiz, Roman Denysiuk, Meritxell Vinyals, Daniel Sanchez, Balsam Shallal, Monjur Mourshed, Frits Maas, Matthieu Gay, Nicolas Pabst, Stefan Lodeweyckx, Jan Bastiaenses, Hussain Kazmi (+7 others)
2019 Zenodo  
Increasing flexibility is key for the reliable operation of future power systems with very high penetration levels of Variable Renewable Energy Sources (VRES).  ...  residential and tertiary buildings and a platform for effective and secure management of flexibility at the level of the distribution grid.  ...  realized by a number of different technologies.  ... 
doi:10.5281/zenodo.3360544 fatcat:potmtsenqfb7tikxkc2jl4j73e

Sponsors and supporters

2011 2011 IEEE 19th International Requirements Engineering Conference  
The key objective of ACSE 2004 is to explore innovative approaches to the adoption of proofof-concept systems by embedding them in extensions of Commercial Off-The-Shelf (COTS) products and/or using middleware  ...  The ACSE series of events aims to advance the adoption of software engineering tools and techniques by bringing together researchers and practitioners who investigate novel approaches to fostering the  ...  Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints.  ... 
doi:10.1109/re.2011.6051678 fatcat:3hulok5gnfemrfny7g5b7wgjcq
« Previous Showing results 1 — 15 out of 3,844 results