Learning how to discover requirements

Requirements engineering (RE) is traditionally taught in academia using an RE process which starts from a well-defined problem. Our approach focuses on the early stages of requirements discovery where students have to learn both about the application domain and about what stakeholders feel is the problem. The approach comprises all the basic elements of requirements, and ways to discover them using many small discovery cycles. In this position paper we outline the rationale for our approach and reflect on our initial experiences with teaching undergraduate RE module using this approach

Model-based engineering in real-time embedded systems: specifying timing constraints

This paper presents the results from a research project on development of Real-Time Embedded Systems (RTESs) using a Model-Based Engineering (MBE) approach. A review of the state-of-the-art modelling languageswas done in order to assess their capabilities to model time. A chosen case study,a Brake-By-Wire (BBW) system, was taken from the automotive industry.The case study focuses on the use of EAST-ADL to model the RTES and TADL to specify timing constraints. A different approach using MARTE to model the BBW system was developed within our project. This approach is used to compare MARTE (and OCL) with EAST-ADL (and TADL). The results show that MARTE can be used to model an RTES from the automotive industry but lacks some important semantic expressions for the timing constraints which are present in TADL

Specifying timing requirements in domain specific languages for modeling

Complex Real-Time Embedded Systems (RTESs) can be developed using model-based engineering. The problem is choosing a modeling language that has capabilities to model the most important characteristic of RTESs: timing. This paper shows an analysis of the most popular modeling languages and their capabilities to model timing constraints in RTESs. It includes UML, SysML, AADL, MARTE and EAST-ADL. A brief comparison between MARTE and EAST-ADL, based on the case study from the automotive industry, is also included

Semantic component selection - SemaCS

In component based software development, project success or failure largely depends on correct software component evaluation. All available evaluation methods require time to analyse components. Due to the black box nature of components, preliminary judgments are made based on vendor descriptions. As there is no standard way of describing components, descriptions have to be interpreted using semantics and domain knowledge. This paper presents a semi-automated generic method for component identification and classification based on generic domain taxonomy and user generated semantic input. Every query is semantically tailored to what is being looked for, arriving at better results then it is currently possible using available automated categorisation systems

Quality and it's Role in Growth of Bosnian and Herzegovinian Economy

Nowadays in an extremely competitive environment one of the most important issues is efficient management of total business processes which as a result should lead to achieving better financial and development goals and fulfilling customer’s wishes. Efficient management turns to be quality management which includes different methods and techniques. Achieving expected quality of the products and services, as well as total business processes in all aspects, is the only way of surviving in this competitive environment. Framework for the quality implementation in the company is postulates of the different quality concept, such as TQM, Kaizen or Six Sigma. ISO and other certificates are assurance of the product quality. On the other hand, it can be very effective means for entering foreign markets. Due to importance of mentioned concepts and importance of obtaining certificates, this paper is focused on the methodology of the quality management as well as on experiences from real sector and research results. Main aim of research is to determine practical assumptions for efficient quality management and its role in a growth of economy.total business processes, TQM, Kaizen, Six Sigma, ISO, growth of economy

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly