Search results for "software engineering"
showing 10 items of 1151 documents
Do we need metamodels AND ontologies for engineering platforms?
2006
In this paper we show how the joint use of metamodeling and ontologies allows to describe domain knowledge for a complex domain. Ontologies are used as stabilized descriptions of a business domain while metamodels allow a fine description of the domain (to be constructed in the initial phases of modeling). We propose to use an ontology for early categorization, i.e., as a "natural" complement of the formal system that is induced by the metamodel.
Evolutionary approach to coverage testing of IEC 61499 function block applications
2015
The paper addresses the problem of coverage testing of industrial automation software represented in the IEC 61499 standard, one of the recent standards for distributed control system design. Contrary to model-based testing (MBT), the paper focuses on implementation coverage, not model coverage. An approach based on evolutionary algorithms is presented which generates coverage test suites for both basic and composite IEC 61499 function blocks. It employs two third-party tools, FBDK and EvoSuite. The evaluation of the approach was performed on a set of control applications for two lab-scale demonstration plants. Results show that the approach is applicable and shows good performance at least…
Extracting information from support vector machines for pattern-based classification
2014
Statistical machine learning algorithms building on patterns found by pattern mining algorithms have to cope with large solution sets and thus the high dimensionality of the feature space. Vice versa, pattern mining algorithms are frequently applied to irrelevant instances, thus causing noise in the output. Solution sets of pattern mining algorithms also typically grow with increasing input datasets. The paper proposes an approach to overcome these limitations. The approach extracts information from trained support vector machines, in particular their support vectors and their relevance according to their coefficients. It uses the support vectors along with their coefficients as input to pa…
Encouraging students’ problem posing through importing visual images into mathematical software
2017
New Areas of Application of Comparable Corpora
2019
This chapter describes several approaches of using comparable corpora beyond the area of MT for under-resourced languages, which is the primary focus of the ACCURAT project. Section 7.1, which is based on Rapp and Zock (Automatic dictionary expansion using non-parallel corpora. In: A. Fink, B. Lausen, W. Seidel, & A. Ultsch (Eds.) Advances in Data Analysis, Data Handling and Business Intelligence. Proceedings of the 32nd Annual Meeting of the GfKl, 2008. Springer, Heidelberg, 2010), addresses the task of creating resources for bilingual dictionaries using a seed lexicon; Sect. 7.2 (based on Rapp et al., Identifying word translations from comparable documents without a seed lexicon. Proceedi…
LifeRescue: A web based application for emergency responders during fire emergency response
2016
In order to respond to any kind of building fire emergencies, first-responders have to use lot of time to get access to the emergency data such as location of the victims who are still inside the building, location of the hazardous material, location of the resources and location of the exits in order to perform search and rescue. However, search is possibly one of the most dangerous activities on the fire ground. Sometimes the visibility is zero and the environment is really hot. Because of the limited operating time in the building, the key to successful search is how quickly emergency responders can get access to the emergency related information in order to save victims and the property…
Elaborating the WARE Method for eParticipation Requirements
2010
Published version of a chapter in the book Information Systems Developement, 2010, 785-792. Also available from the publisher at: http://dx.doi.org/10.1007/b137171_82 eParticipation systems are often directly targeted at citizens. However, as a group of potential users, citizens form a heterogeneous and unpredictable group, which makes requirements elicitation a challenging issue. Based on recently developed ideas for wide audience requirement engineering (WARE), this chapter discusses and elaborates a method for eliciting citizen requirements for eParticipation. The method elaboration was conducted in connection with a project in southern Norway, where young people’s requirements for becom…
Improving the multiple errors detection coverage in distributed embedded systems
2004
Currently, a lot of critical applications in automobile and aircraft avionics are built on fault-tolerant real-time distributed embedded systems. Fault injection techniques have been used extensively in the experimental validation of these systems and it is a challenge to adapt them to the demands of new technologies. This paper deals with the effect of physical faults at pin level on the Communication Network Interface in a prototype based on time-triggered architecture. Due to the essential necessity of observing system behavior during injection experiments, a suitable monitor for distributed embedded systems is proposed. The monitor is used to detect failures in the value domain that cou…
High Level Modeling and Hardware Implementation of Image Processing Algorithms Using XSG
2019
International audience; Design of Systems-on-Chip has become very common especially with the remarkable advances in the field of high-level system modeling. In recent years, Matlab also offers a Simulink interface for the design of hardware systems. From a high-level specification, Matlab provides self-generation of HDL codes and/or FPGA configuration codes while providing other benefits of easy simulation. In addition, a large part of the Systems-on-Chip use at least one image processing algorithm and at the same time border detection is one of the most used algorithms. This paper presents a study and a hardware implementation of various algorithms of borders detection realized under Xilin…
A collaborative tool for designing and enacting design processes
2009
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context heavy efforts were spent in the construction of appropriate tools that could help method engineers in producing a specific design process and in using it. We developed a tool called Metameth for supporting the design process definition and its enactment. Metameth is implemented as a multi-agent system, where each agent is capable of reasoning and adapting itself in order to support the designer in performing different kinds of design activities.