Revista y Edición

Volumen 12 (2021): Edición 2 (December 2021)

Volumen 12 (2021): Edición 1 (May 2021)

Volumen 11 (2020): Edición 3 (November 2020)

Volumen 11 (2020): Edición 2 (October 2020)

Volumen 11 (2020): Edición 1 (March 2020)

Volumen 10 (2019): Edición 2 (September 2019)

Volumen 10 (2019): Edición 1 (April 2019)

Volumen 9 (2018): Edición 2 (July 2018)

Volumen 9 (2018): Edición 1 (March 2018)

Volumen 8 (2017): Edición 2 (September 2017)

Volumen 8 (2017): Edición 1 (March 2017)

Volumen 7 (2016): Edición 2 (September 2016)

Volumen 7 (2016): Edición 1 (March 2016)

Volumen 6 (2015): Edición 2 (September 2015)

Volumen 6 (2015): Edición 1 (March 2015)

Volumen 5 (2014): Edición 3 (September 2014)
“Novel solutions or novel approaches in Operational Research” co-published with the Slovenian Society INFORMATIKA – Section for Operational Research (SDI-SOR), Edición Editors: Ksenija Dumičić (University of Zagreb), Lidija Zadnik Stirn (University of Ljubljana), and Janez Žerovnik (University of Ljubljana)

Volumen 5 (2014): Edición 2 (June 2014)

Volumen 5 (2014): Edición 1 (March 2014)
Special Edición: Embedded Systems Applications: Future Society Applications

Volumen 4 (2013): Edición 2 (December 2013)

Volumen 4 (2013): Edición 1 (March 2013)

Volumen 3 (2012): Edición 2 (September 2012)
"Innovative Approaches to Operations Research Methodology and Its Applications in Business, Economics, Management and Social Sciences" co-published with the Slovenian Society INFORMATIKA - Section for Operational Research (SDI-SOR)

Volumen 3 (2012): Edición 1 (June 2012)

Volumen 2 (2011): Edición 2 (June 2011)

Volumen 2 (2011): Edición 1 (January 2011)

Volumen 1 (2010): Edición 1-2 (January 2010)

Detalles de la revista
Formato
Revista
eISSN
1847-9375
Publicado por primera vez
19 Sep 2012
Periodo de publicación
2 veces al año
Idiomas
Inglés

Buscar

Volumen 5 (2014): Edición 1 (March 2014)
Special Edición: Embedded Systems Applications: Future Society Applications

Detalles de la revista
Formato
Revista
eISSN
1847-9375
Publicado por primera vez
19 Sep 2012
Periodo de publicación
2 veces al año
Idiomas
Inglés

Buscar

6 Artículos
access type Acceso abierto

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Publicado en línea: 23 Apr 2014
Páginas: 6 - 20

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • formal verification
  • co-simulation
  • performance optimization
  • code generation
access type Acceso abierto

The MODUS Approach to Formal Verification

Publicado en línea: 23 Apr 2014
Páginas: 21 - 33

Resumen

Abstract

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

Palabras clave

  • software quality
  • formal verification
  • embedded systems
  • translation tool selection
access type Acceso abierto

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

Publicado en línea: 23 Apr 2014
Páginas: 34 - 46

Resumen

Abstract

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

Palabras clave

  • smart residential buildings
  • organizational design
  • internet of things
  • learning organization
  • embedded systems
  • multi-agent systems
access type Acceso abierto

A Contribution to Considerations of the Role of Embedded Systems

Publicado en línea: 23 Apr 2014
Páginas: 47 - 56

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • environment excitations
  • dissipative structures
  • unmanned aerial vehicles
  • human resources management
access type Acceso abierto

Development Practices of Embedded Systems: SMEs in SEE countries

Publicado en línea: 23 Apr 2014
Páginas: 57 - 67

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • development
  • FP7
  • project
  • SMEs
access type Acceso abierto

Stackelberg Equilibrium of the Client and the Producer of Embedded Software

Publicado en línea: 23 Apr 2014
Páginas: 68 - 76

Resumen

Abstract

Background: Our research assumes that the software quality affects the product validity. This assumption also refers to embedded software. Objectives: This paper analyses the Stackelberg equilibrium in which the consumer is the leader and the producer of embedded software is the follower. Methods/Approach: A comparative statics analysis of a producer's reaction is carried out and confirms our intuition that the product price is positively correlated to the number of employees and the software quality. Results: An increase in wage has an adverse effect on producer’s reaction. Derived results are illustrated numerically and Stackelberg and cooperative equilibrium are compared. It is shown that the welfare loss is smaller with higher quality software for any number of employees. Conclusions: Although the equilibrium involves less employed workers, the optimal software quality is higher. The optimal product price is lower, which puts the consumer and the producer in a better position

Palabras clave

  • embedded software
  • Stackelberg equilibrium
  • producer's reaction function
  • comparative statics analysis
  • welfare loss
6 Artículos
access type Acceso abierto

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Publicado en línea: 23 Apr 2014
Páginas: 6 - 20

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • formal verification
  • co-simulation
  • performance optimization
  • code generation
access type Acceso abierto

The MODUS Approach to Formal Verification

Publicado en línea: 23 Apr 2014
Páginas: 21 - 33

Resumen

Abstract

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

Palabras clave

  • software quality
  • formal verification
  • embedded systems
  • translation tool selection
access type Acceso abierto

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

Publicado en línea: 23 Apr 2014
Páginas: 34 - 46

Resumen

Abstract

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

Palabras clave

  • smart residential buildings
  • organizational design
  • internet of things
  • learning organization
  • embedded systems
  • multi-agent systems
access type Acceso abierto

A Contribution to Considerations of the Role of Embedded Systems

Publicado en línea: 23 Apr 2014
Páginas: 47 - 56

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • environment excitations
  • dissipative structures
  • unmanned aerial vehicles
  • human resources management
access type Acceso abierto

Development Practices of Embedded Systems: SMEs in SEE countries

Publicado en línea: 23 Apr 2014
Páginas: 57 - 67

Resumen

Abstract

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

Palabras clave

  • embedded systems
  • development
  • FP7
  • project
  • SMEs
access type Acceso abierto

Stackelberg Equilibrium of the Client and the Producer of Embedded Software

Publicado en línea: 23 Apr 2014
Páginas: 68 - 76

Resumen

Abstract

Background: Our research assumes that the software quality affects the product validity. This assumption also refers to embedded software. Objectives: This paper analyses the Stackelberg equilibrium in which the consumer is the leader and the producer of embedded software is the follower. Methods/Approach: A comparative statics analysis of a producer's reaction is carried out and confirms our intuition that the product price is positively correlated to the number of employees and the software quality. Results: An increase in wage has an adverse effect on producer’s reaction. Derived results are illustrated numerically and Stackelberg and cooperative equilibrium are compared. It is shown that the welfare loss is smaller with higher quality software for any number of employees. Conclusions: Although the equilibrium involves less employed workers, the optimal software quality is higher. The optimal product price is lower, which puts the consumer and the producer in a better position

Palabras clave

  • embedded software
  • Stackelberg equilibrium
  • producer's reaction function
  • comparative statics analysis
  • welfare loss

Planifique su conferencia remota con Sciendo