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.
Recently, software practitioners, using model-based engineering and similar methods, have begun developing software from models. After creating a model of the required system behavior, a developer can obtain assurance of the model by validating that it captures the intended behavior and verifying that it satisfies critical properties. Invariants are important to both validation, as a check that the...
The paper describes the IEC 61850 communication protocol based prototyping platform, and implements Generic Object Oriented Substation Event (GOOSE) interoperability tests between multi-vendor Intelligent Electronic Devices (IEDs). In addition, the proposed platform also includes human machine interface(HMI) that monitors overall IEDs via Ethernet network. The proposed prototyping platform has been...
Adaptability can be defined as the ability of a system to fit to changed circumstances. Adaptability is a property related to engineering as well as to the execution of networked service systems. This paper considers general issues of adaptation at two abstraction levels: 1) System of entities, terrain, functions and adaptability types, and 2) Architectures supporting adaptability. Adaptability types...
Designing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering in aviation, space and more generally in computer science for many years. In the 90's many studies (e.g. [12] related to the notion of mode confusion) have demonstrated that fully automated systems are out of the grasp of current technologies and that additionally...
Effective relationships between people and technology are essential for organizational response (agility, adaptation, and innovation). Advances in computing power, and the rise of complex ubiquitous systems, raise a challenge for managing this relationship given limits of human physical and cognitive capacities. To re-align people with computing technology involves either improved human training,...
Introduction of wireless vehicular communications enables a variety of new Intelligent Transportation System (ITS) use-cases [1, 2], allowing the services to cooperate between vehicles and infrastructure. Furthermore modern vehicles feature an increasing number of driving automation functions. This paper identifies requirements for cooperative and automated ITS, with a special emphasis on the setup...
Bid sniping is a dubious practice used in online auctions whereby a bidder makes a bid in the closing moments in an attempt to deny other bidders time to react. The primary goal for a bid sniper is to win the auction for the lowest price possible, without the risk of being forced into submitting any higher bids if there is competition for the item. This paper investigates the phenomenon of bid sniping...
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many service-based applications demand for a mix of interactions between humans and Software-Based Services (SBS). An example is a process model comprising SBS and services provided by human actors. Such applications are difficult to manage due to changing...
Human-Machine-Interfaces are with no doubt one of the constitutive parts of an automation system. However, it is not till recently that they have received appropriate attention in order to improve the design of SCADA applications in industrial domain. It is because of a major concern about aspects related to maintenance, safety, achieve operator awareness, etc has been gained. Even there are in the...
We present an application of multi-agent to the problem of software project schedule execution evolution, i.e. performing an automatic schedule monitoring and handling contingencies that result in project delivered on time, and required specifications. In a software project setting each involved individual can be represented by three cooperative agents: a proxy, a bookkeeper and a scheduler. These...
The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly demonstrated by 'Airport Collaborative Decision Making' (A-CDM). Failure or underperformance of any of the interlinked ICT systems may compromise the ability of airports to plan their use of resources to sustain high levels...
Software testing requires a test oracle that makes an assessment of the correctness of the tested program behaviour, based on a priori created model. While test automation is a popular research topic, there is only a limited amount of work in the subject of automating the process of creating test oracles. This lack of test oracle automation greatly limits the usefulness of automated testing techniques...
Many collaboration platforms are realized as service-oriented systems enabling flexible compositions of services and support of interactions. Interactions between entities in such systems do not only span software services, but also human actors. A mixed service-oriented system is therefore composed of human and software services. In open environments, interactions between people and services are...
In this work the mission control and supervision system developed for the ROAZ Autonomous Surface Vehicle is presented. Complexity in mission requirements coupled with flexibility lead to the design of a modular hierarchical mission control system based on hybrid systems control. Monitoring and supervision control for a vehicle such as ROAZ mission is not an easy task using tools with low complexity...
Grids offer a uniform interface to a distributed collection of heterogeneous computational and storage network resources. The semantic Grid is an extension of the Grid in which rich resource metadata is exposed and handled explicitly. This semantic infrastructure potentially leads to increased interoperability and greater flexibility and enables software agents to automatically process and manage...
Stakeholders of smart home development often request personalized requirements based on existing services. Requirements under the environment may change at any time even when services are provided correctly, since the stakeholders eventually change their intentions. Evolvability is essential to adapting to the dynamic and ever-changing requirements in response to contextual feedback. To support software...
This work is devoted to events monitoring in complex information systems. Authors depict some aspects of nowadays monitoring systems that make them ineffective. Next, research areas are presented. It is followed by a proposition of a new technique of monitoring based on agents and idea of the molecule. Then system architecture is discussed. Lastly, the advantages of agents based approach is revealed.
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.