Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 5

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  embedded systems
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

The MODUS Approach to Formal Verification

100%
Brewka L., Soler J., Berger M.
Business Systems Research Journal
|
2014
|
vol. 5
|
issue 1
21-33
EN
Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project
2

A Contribution to Considerations of the Role of Embedded Systems

88%
Stepanić J., Kasać J., Merkač M.
Business Systems Research Journal
|
2014
|
vol. 5
|
issue 1
47-56
EN
Background: Embedded systems are a ubiquitous part of modern civilisation. Trends point to further intensification of their use. In this article we discuss long-term implications of that process, from the point of view of systems science. Objectives: On a general level, we relate embedded systems to a general class of objects and argue about their role in human life. On a somewhat more specific level, we consider in more details the development of unmanned aerial vehicles. Methods/Approach: In order to achieve the set objectives, we conducted inductive theoretical considerations and presented the results in this section. Results: The hierarchy of notions relating human civilization to environment is established, and embedded systems are positioned within it. Conclusions: Broadening and intensification of the use of embedded systems is a gradual process, heavily intertwined with societal changes. The case study of the development of the unmanned aerial vehicles reveals the potentials of the concept of embedded systems, also in the area of human resources management
3

Development Practices of Embedded Systems: SMEs in SEE countries

88%
Strugar I., Zoroja J., Jaković B.
Business Systems Research Journal
|
2014
|
vol. 5
|
issue 1
57-67
EN
Background: Embedded systems are evolving in their use based on the increased trend of merging software with hardware appliances. The market for the embedded systems development is rapidly increasing and this is one of the possible new markets for software firms striving for new competitive advantage. Objectives: The goal of the paper is to explore embedded systems development practices of Croatian firms and compare them with the practices of the firms from South Eastern European (SEE) countries. Methods/Approach: The survey was conducted using the sample of SME software firms and the data on embedded systems development practices have been analysed. Practices of Croatian firms were compared with practices of other firms from SEE countries. Results: Results of the survey revealed that in comparison to their counterparts from SEE countries, Croatian firms involved in embedded systems development utilise cutting-edge technology and processes to a lower extent. Conclusions: Cutting-edge technology and processes are prerequisites for attaining the level of productivity in software production that is sufficient to ensure maintaining cost competency. However, SMEs are yet to fulfill their market potentials
4

Embedded Systems Development Tools: A MODUS-oriented Market Overview

88%
Loupis M.
Business Systems Research Journal
|
2014
|
vol. 5
|
issue 1
6-20
EN
Background: The embedded systems technology has perhaps been the most dominating technology in high-tech industries, in the past decade. The industry has correctly identified the potential of this technology and has put its efforts into exploring its full potential. Objectives: The goal of the paper is to explore the versatility of the application in the embedded system development based on one FP7-SME project. Methods/Approach: Embedded applications normally demand high resilience and quality, as well as conformity to quality standards and rigid performance. As a result embedded system developers have adopted software methods that yield high quality. The qualitative approach to examining embedded systems development tools has been applied in this work. Results: This paper presents a MODUS-oriented market analysis in the domains of Formal Verification tools, HW/SW co-simulation tools, Software Performance Optimization tools and Code Generation tools. Conclusions: The versatility of applications this technology serves is amazing. With all this performance potential, the technology has carried with itself a large number of issues which the industry essentially needs to resolve to be able to harness the full potential contained. The MODUS project toolset addressed four discrete domains of the ESD Software Market, in which corresponding open tools were developed
5

Smart Residential Buildings as Learning Agent Organizations in the Internet of Things

75%
Schatten M.
Business Systems Research Journal
|
2014
|
vol. 5
|
issue 1
34-46
EN
Background: Smart buildings are one of the major application areas of technologies bound to embedded systems and the Internet of things. Such systems have to be adaptable and flexible in order to provide better services to its residents. Modelling such systems is an open research question. Herein, the question is approached using an organizational modelling methodology bound to the principles of the learning organization. Objectives: Providing a higher level of abstraction for understanding, developing and maintaining smart residential buildings in a more human understandable form. Methods/Approach: Organization theory provides us with the necessary concepts and methodology to approach complex organizational systems. Results: A set of principles for building learning agent organizations, a formalization of learning processes for agents, a framework for modelling knowledge transfer between agents and the environment, and a tailored organizational structure for smart residential buildings based on Nonaka’s hypertext organizational form. Conclusions: Organization theory is a promising field of research when dealing with complex engineering systems
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.