The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A Component Based System (CBS) is integration centric with a focus on selecting individual components that match stakeholder requirements. In reality, components are usually designed for general purposes and finding the ideal one is often very difficult. Fundamental to CBS success is the ability to minimize the mismatch between stakeholder expectations and functionality provided by available components...
According to the relations among viewpoints and the basic principle of viewpoint integration in viewpoints-oriented requirements engineering, the definition of viewpoint category is presented formally, denoted by V p C A T. On the basis of concepts and theories of category theory, some properties are discussed in the process of viewpoints integration, such as cocone, co-equalizer, co-limit and so...
Transaction Level Modelling (TLM) is an emerging design approach to accelerate Electronic System Level (ESL) design. A virtual TLM prototype of an embedded system is an integration of computation and communication. Currently, TLM communication and hardware modelling has been well discussed and standardised. However, there still exist problems in the domain of TLM for software computation modelling...
Requirements engineering is an important research area in software engineering. Recent years, with the exponentially growing amount of software developed, it is necessary to elicit appropriate software requirements at an early phase of software development. We provide the complementary classification techniques that combine folksonomy, keyword and facet-based retrieval methods to retrieve software...
Gap has always been found between semi-formal requirements and formal specification. Semi-formal or informal requirements are not able to do formal verification as imprecise and ambiguity is always found. The proposed research is to carry out the mapping of semi-formal requirements to Promela (Process Meta Language) specification in order to enable early verification before the requirements analysis...
The ANR project SPaCIFY develops a domain-specific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based modeling environment which supports all aspects of aerospace software design. As such, it is a domain-specific environment consisting of heterogeneous modeling and programming principles defined in collaboration with the industrial...
Using middleware implementations, instead of integrating the fault tolerance in the applications themselves, for providing stateful services highly availably has become the best practice in many industries including the telecommunication, computing and other areas. Robustness of these implementations toward user failures is essential for the overall availability of the systems. This paper summarizes...
Prioritizing requirements helps the project team to understand which requirements are most important and most urgent. Based on this finding a software engineer can decide what to develop/implement in the first release and what on the coming releases. Prioritization is also a useful activity for decision making in other phases of software engineering like development, testing, and implementation. There...
The fast growth of complexity of modern cars, motorbikes and commercial vehicles continues. Although the number of applied Electronic Control Units (ECUs) decreases, they have to fulfill more and more functions concerning performance, comfort and safety. The electric and electronic architecture (EEA) of a vehicle forms the basis for those features and functionalities. An elaborated and evaluated EEA...
In this paper, we propose a novel rapid prototyping technique to produce a high quality CPU emulator at reduced development cost. Specification mining from published CPU manuals, automated code generation of both the emulator and its test vectors from the mined CPU specifications, and a hardware-oracle based test strategy all work together to close the gaps between specification analysis, development...
Radio Frequency Identification technology is an emerging technology that allows objects to be electronically tagged and identified wirelessly. In recent years, many organizations have started to show interest in porting this technology to their existing business processes. With the increase in popularity of the technology, many vendor-specific RFID readers are being manufactured and sold to interested...
This paper identifies and characterizes several important impediments to reusable agent-based models. It describes a new class of programming languages that address these problems by allowing abstract specification of incomplete but accurate models and by enabling automated construction of agent-based simulations from models. The primary innovation underlying this approach is the use of property-based...
Current approaches to evaluating security assurance either focus on the software development stage or at the end product software. However, most often, it is after the deployment or implementation phase that specified security requirements may be violated. This may be due to improper deployment of the security measures, environmental hazards or to the fact that the assumptions under which the security...
Unified Modeling Language (UML) extensions for real time embedded systems (RTES) co-design are taking a growing interest by a great number of industrial and research communities. The extension mechanism is provided by UML profiles for RTES and it aims at improving an easily-understood method of system design for non-experts. One of the key items of the co-design methods is the Hardware/Software partitioning...
Software testing is an important step to help ensure that the software is behaving correctly. An important component of the test process is a test oracle, which determines if the software behavior is correct or not. In this paper, we present tools that enhance an integrated development environment to give the user the ability to write the formal specifications in a readable manner and generate test...
The complexity of Embedded Real Time (ERT) software development represents a challenging of analyzing, designing and building ERT software. From this standpoint, the complexity of ERT software development means a challenging to adopt all ERT software requirements such as timing and resource constraints into its software life cycle. Against these claims, a wide range of software development methodologies...
The main challenge for governments worldwide is to transform their systems to deliver efficient and cost effective services through information and communication technologies. Requirements engineering is a crucial activity in system development process, especially in the development of large scale systems such as E-gov applications. Inconsistencies and terminology conflicts are hindering many E-gov...
Formal Methods are very hard subject to student. It offered to second semester for third year Software Engineering student. Students normally feel very difficult to derive formal specification from informal requirement. In this paper, we propose an approach to derive formal specifications from informal requirement using Venn diagram for creating formal specification. We show how to convert the Venn...
In this paper, we investigate the use of Java annotations for software security purposes. In particular, we implement a framework for content validation where the validation tests are specified by annotations. This approach allows to tag what properties to validate directly in the application code and eliminates the need for external XML configuration files. Furthermore, the testing code is still...
Requirements modeling is a key procedure in requirements engineering and has a important effect on the quality and cost of software. In this paper, we introduce a software behavior oriented requirements model based on our research and give syntax and semantics of the model in detail. In order to affirm correctness and reliability of the requirements model, we descript some properties, such as consistency...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.