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.
In the recent decade, many formalisms and tools have emerged for model-driven Non-Functional Property (NFP) specification and assessment. In this direction, model-driven reliability and safety assessment of engineering systems developed using Matlab/Simulink is an emerging research challenge. However, a generic mechanism for NFP specification in the Simulink design model is not yet supported. Further,...
Extending model-based Non-Functional Property (NFP) analysis approaches to Embedded Software Engineering (ESE) projects cutting across heterogeneous modeling domains is an emerging research challenge. Towards this direction, a generic workflow for timing validation and a methodology for synchronization of timing attributes (before performing a timing analysis) in ESE projects developed using heterogeneous...
In the domain of embedded systems, the complexities involved in embedded software development are being successfully addressed by the emerging field of model-based software development and testing. However, in embedded systems, the underlying embedded software is often expected to collaborate with various hardware, mechanical, electrical modules/technologies. To address this aspect of heterogeneity...
Part of the KOMOBAR project aims to support agricultural production processes in rural areas. These processes are subject to frequent disturbances that need to be accounted for. KOMOBAR proposes to reduce the (human to human) communication overhead by deploying a distributed system that allows for soft real-time monitoring of the respective processes in execution. Further, KOMOBAR considers a major...
Online Maintenance Assistance (OMA) is a tool for supporting Remote Maintenance. It was developed by Airbus and the University of Applied Sciences Osnabrueck, Germany. Operators performing maintenance tasks in front of an aircraft can use OMA to establish a conference to a remote expert. They can provide different camera views on of a maintenance part or location. In addition, the screen output of...
Remote engineering systems are a valuable tool to give visual assistance and remote support e.g. in industrial service or Teleteaching. The origins of the OMA system (Online Maintenance Assistance) are the outcome of a european project for aircraft teleservice. It allows collaboration between mobile operators and supporting experts. An enhanced version supports sensor data exchange and context awareness...
Model-Based Testing particularly involves test case generation, execution and evaluation. Executing the model-based test cases, without introducing significant overhead in resource constrained embedded systems, is not yet supported in existing tools/methodologies. A test framework for executing MBT in embedded systems with minimal overhead in the target is outlined in this paper. The main scope of...
This paper presents the NDT (Non Destructive Testing) concept and process in combination with the OMA system (Online Maintenance Assistance) for remote service support. The system is used to support complex maintenance processes by assistance from remote experts in an online video conference with integration to inspection workflow and devices. The system operates on Commercial of the Shelf (COTS)...
The existing model-based tools employ runtime monitoring methodologies for debugging and testing of embedded systems. In these tools, the additional instrumentation for incorporating and executing the test code varies based on the application. Such techniques could also introduce significant, non-deterministic overhead in the embedded system. This is a hurdle in applying Model-Based Testing (MBT)...
<?Pub Dtl?>This letter introduces a novel application of model-based runtime monitoring of deeply embedded systems. The proposed framework comprises of a minimally intrusive, generic, software-based, runtime monitoring methodology for visualizing the behavior of deeply embedded systems in real-time. The model-based runtime monitoring results are then reused for generating model-based test cases...
The KOMOBAR (Decision strategies and communication structures for cooperating machines in agriculture) project aims to optimise logistic processes in the agricultural domain. Furthermore it addresses the specific requirements of the IT-based control of supply chains in rural areas. This paper presents an approach of a software agent based decision support system and its architecture. The innovative...
Model-based approaches to develop software for embedded systems are becoming increasingly important in the last ten years. In this context, it is desirable to carry out debugging at the model level in conjunction with the model-based development of embedded software. This paper presents such a model-based debugging approach which can be used to visualize the behaviour of embedded software on a host...
The growing variety and complexity of embedded software development necessitates the usage of structured embedded software engineering and automation approaches such as the model-driven methodology. Whereas there are several modeling domains and tools to support embedded software development, coupling of embedded software subsystems developed using heterogeneous modeling domains is still an emerging...
This paper presents the OMA system (Online Maintenance Assistance) for remote service support. The system is used to support complex maintenance processes by assistance from remote experts in an online video conference with integration to inspection workflow and devices. The system operates on Commercial of the Shelf hardware and in standard Web Browsers. It allows flexible integration into the enterprise...
Model-based methodologies such as the Model-Driven Development (MDD) and Model-Based Testing (MBT) are being explored, in the recent decade, for automation in embedded software engineering projects. In this context, the target of this paper is to demonstrate the adoption and applicability of the Unified Modeling Language (UML) and the UML Testing Profile (UTP) for deploying MBT in Resource-Constrained...
A robust model-based debugging and testing technique integrated with the Model Driven Development (MDD) approach for memory size constrained, real-time critical embedded target systems is still in its nascent stages. This is especially true for the industry standard MDD-based tools. In addition, a model-based debugging technique or tool chain based on the newly introduced timing diagrams in UML 2...
The increasing complexity and wide applicability of Real-Time Embedded Systems (RTES) necessitates use of advanced and automated development and testing methodologies to meet time-to-market constraints, quality assurance and safety standards. In this context, the applicability of Model Driven Development (MDD) and Model-Based Testing (MBT) methodologies for RTES have been gaining attention in the...
The KOMOBAR project utilizes a software agent based approach to create a decision support system for the purpose of optimizing logistic processes in the agricultural domain. This domain requires a flexible approach, which has the ability to work decentralized. The paper explains an architecture for software agent based decentralised decision support structures and discusses the problems of mobile...
In the recent decade, new automated methodologies such as the Model Driven Development (MDD) and Model-Based Testing (MBT) are under evaluation for embedded systems development and testing. However, most of the currently existing MBT approaches are neither integrated with the software development process nor transferred to real-life embedded software engineering projects. There is also a lack of usage...
There have been several model based approaches used in the recent past for alleviating complexity in design, development and test case generation for real-time embedded software systems. However, deploying/executing these test cases in the embedded target without affecting the real-time behavior of the system still remains a challenging and unanswered question. To address this, we propose a novel...
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.