liu.seSearch for publications in DiVA
Endre søk
Begrens søket
1 - 27 of 27
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Amirijoo, Mehdi
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Andersson, Torgny
    Enea Epact.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Son, Sang H.
    Department of Computer Science University of Virginia, USA.
    Finite Horizon QoS Prediction of Reconfigurable Firm Real-Time Systems2006Inngår i: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications,2006, Los Alamitos, California, USA: IEEE Computer Society , 2006, s. 233-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Updating real-time system software is often needed in response to errors and added requirements to the software. Stopping a running application, updating the software, and then restarting the application is not suitable for systems with high availability requirements. On the other hand, dynamically updating a system may increase the execution time of the tasks, thus, degrading the performance of the system. Degradation is not acceptable for performance-critical real-time systems as there are strict requirements on the performance. In this paper we present an approach that enables dynamic reconfiguration of a real-time system, where the performance of the system during a reconfiguration satisfies a given worst-case performance specification. Evaluation shows that the presented method is efficient in guaranteeing the worst-case performance of dynamically reconfigurable firm real-time systems. 

  • 2.
    Amirijoo, Mehdi
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nadjm-Tehrani, Simin
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Raising Motivation in Real-time Laboratories: The Soccer Scenario2004Inngår i: Technical Symposium on Computer Science Education, SIGCSE,2004, USA: Association for Computing Machinery (ACM) , 2004, s. 265-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Real-time systems is a topic that one cannot overlook in an engineer's education. However, teaching real-time systems in an undergraduate syllabus is a challenging experience due to conflicting constraints placed on such a course. In this paper we present a new setup for laboratories in the real-time systems course that successfully meets the constraints of mass education, stable environment management, short time span for the labs, and still enables deep involvement of students in the central topic of resource allocation with high motivation.

  • 3.
    Gustafsson, Thomas
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Du, Ying
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Engineering Active Behavior of Embedded Software to Improve Evolution and Performance: an Aspect-Oriented Approach2007Inngår i: The 22nd Annual ACM Symposium on Applied Computing,2007, New York: ACM , 2007Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we propose a novel aspect-oriented scheme for implementing active behavior in embedded software with requirements on data freshness. The scheme improves system performance by combining active behavior in terms of event-condition-action (ECA) rules and on-demand updating. We design and implement the scheme in terms of aspects, thereby exploiting aspect-oriented programming technology to efficiently handle crosscutting nature of active behavior. The benefits of our approach are demonstrated using a case study of an embedded database system called COMET. Namely, simulations on the COMET database indicate that its performance increases by incorporating our scheme. Furthermore, using the COMET example we show that aspect-oriented implementation of active behavior has benefits when it comes to easier evolution of the system.

  • 4.
    Nyström, Dag
    et al.
    Mälardalen University .
    Nolin, Mikael
    Mälardalen University .
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Norström, Christer
    Mälardalen University .
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases2004Inngår i: 16th Euromicro Conference on Real-Time Systems ECRTS04,2004, Los Alamitos, California: IEEE Computer Society Press , 2004Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transactions in real-time database management systems. The algorithm uses traditional pessimistic concurrency control i.e. locking for soft transactions and versioning for hard transactions to allow them to execute regardless of any database lock. We provide formal proof that the algorithm is deadlock free and formally verify that transactions have atomic semantics. We also present an evaluation that demonstrates significant benefits for both soft and hard transactions when our algorithm is used. The proposed algorithm is suited for resource-constrained safety critical, real-time systems that have a mix of hard real-time control applications and soft real-time management, maintenance, or user-interface applications.

  • 5.
    Nyström, Dag
    et al.
    Mälardalen University .
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nolin, Mikael
    Mälardalen University .
    Norström, Christer
    Mälardalen University .
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    COMET: A Component-Based Real-Time Database for Automotive Systems2004Inngår i: Workshop on Software Engineering for Automotive Systems at 26th International Conference on Software engineering ICSE04,2004, 2004Konferansepaper (Fagfellevurdert)
    Abstract [en]

    With the increase of complexity in automotive control systems, the amount of data that needs to be managed is also increasing. Using a real-time database management system (RTDBMS) as a tightly integrated part of the software development process can give significant benefits with respect to data management. However, the variability of data management requirements in different systems, and the heterogeneousness of the nodes within a system may require a distinct database configuration for each node. In this paper we introduce a software engineering approach for generating RTDBMS configurations suitable for resource-constrained automotive control systems, denoted the COMET development suit. Using software engineering tools to assist developers with design and analysis of the system under development, different database configurations can be generated from pre-fabricated components. Each generated COMET database contains only functionality required by the node it is executing on.

  • 6.
    Nyström, Dag
    et al.
    Mälardalen University .
    Tesanovic, Aleksandra
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Norström, Christer
    Mälardalen University .
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Database Pointers: a Predictable Way of Manipulating Hot Data in Hard Real-Time Systems2003Inngår i: 9th International Conference on Real-Time and Embedded Computing Systems and Applications RTCSA 2003,2003, Heidelberg: Springer Verlag , 2003, s. 454-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Traditionally, control systems use ad hoc techniques such as shared internal data structures, to store control data. However, due to the increasing data volume in control systems, these internal data structures become increasingly dicult to maintain. A real-time database management system can provide an efficient and uniform way to structure and access data. However the drawback with database management systems is the overhead added when accessing data. In this paper we introduce a new concept called database pointers, which provides fast and deterministic accesses to data in hard real-time database management systems compared to traditional database management systems.The concept is especially benefcial for hard real-time control systems where many control tasks each use few data elements at high frequencies. Database pointers can co-reside with a relational data model, and any updates made from the database pointer interface are immediately visible from the relational view. We show the effciency with our approach by comparing it to tuple identifers and relational processing.

  • 7.
    Nyström, Dag
    et al.
    Mälardalen University, Sweden.
    Tesanovic, Aleksandra
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Norström, Christer
    Mälardalen University, Sweden.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Database pointers: A predictable way of manipulating hot data in hard real-time systems2005Inngår i: Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers / [ed] Jing Chen and Seongsoo Hong, Springer Berlin/Heidelberg, 2005, Vol. 2968, s. 454-465Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    Traditionally, control systems use ad hoc techniques such as shared internal data structures, to store control data. However, due to the increasing data volume in control systems, these internal data structures become increasingly difficult to maintain. A real-time database management system can provide an efficient and uniform way to structure and access data. However the drawback with database management systems is the overhead added when accessing data. In this paper we introduce a new concept called database pointers, which provides fast and deterministic accesses to data in hard real-time database management systems compared to traditional database management systems. The concept is especially beneficial for hard real-time control systems where many control tasks each use few data elements at high frequencies. Database pointers can co-reside with a relational data model, and any updates made from the database pointer interface are immediately visible from the relational view. We show the efficiency with our approach by comparing it to tuple identifiers and relational processing.

  • 8.
    Nyström, Dag
    et al.
    Mälardalen University, Västerås.
    Tesanovic, Aleksandra
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Norström, Christer
    Mälardalen University, Västerås.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Bånkestad, N.-E
    Volvo Construction, Eskilstuna.
    Data Management Issues in Vehicle Control Systems: A Cae Study2002Inngår i: Proceedings of the 14th Euromicro Conference on Real Time Systems, Institute of Electrical and Electronics Engineers (IEEE), 2002, s. 249-256Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present a case study of a class of embedded hard real-time control applications in the vehicular industry that, in addition to meeting transaction and task deadlines, emphasize data validity requirements. We elaborate on how a database could be integrated into the studied application and how the database management system(DBMS) could be designed to suit this particular class of systems.

  • 9.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Amirijoo, Mehdi
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Björk, Mikael
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Empowering Configurable QoS Management in Real-Time Systems2005Inngår i: Proceedings of the Fourth ACM SIG International Conference on Aspect-Oriented Software Development AOSD05,2005, USA: ACM Press , 2005Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Current Quality of Service (QoS) management methods in real-time systems using feedback control loop lack support for configurability and reusability as they cannot be configured for a target application or reused across different applications. In this paper we present a method for developing reconfigurable feedback-based QoS management for real-time systems, denoted Re-QoS. By combining component-based design with aspect-oriented software development Re-QoS enables successful handling of crosscutting nature of QoS policies, as well as evolutionary design of real-time systems and QoS management architectures. Re-QoS defines a QoS aspect package, which is an implementation of a set of aspects and components that provide a number of different QoS policies. By adding a QoS aspect package to an existing system without QoS guarantees, we are able to use the same system in unpredictable environments where performance guarantees are essential. Furthermore, by exchanging aspects within the QoS aspect package one can efficiently tailor the QoS management of a real-time system based on the application requirements. We demonstrate the usefulness of the concept on a case study of an embedded real-time database system, called COMET. Using the COMET example we show how a real-time database system can be adapted to be used in different applications with distinct QoS needs.

  • 10.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Amirijoo, Mehdi
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Providing configurable QoS management in real-time systems with QoS aspect packages2006Inngår i: Transactions on Aspect-Oriented Software Development II / [ed] Awais Rashid and Mehmet Aksit, Springer Berlin/Heidelberg, 2006, Vol. 4242, s. 256-288Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    Current quality of service (QoS) management approaches in real-time systems lack support for configurability and reusability as they cannot be configured for a target application or reused across many applications. In this paper we present the concept of a QoS aspect package that enables developing configurable QoS management for real-time systems. A QoS aspect package represents both the specification and the implementation of a set of aspects and components that provide a number of QoS policies. A QoS aspect package enables upgrades of already existing systems to support QoS performance assurance by adding aspects and components from the package. Furthermore, a family of real-time systems can easily be developed by adding aspects from the QoS aspect package into an existing system configuration. We illustrate the way a family of real-time database systems is developed using the QoS aspect package with a case study of an embedded real-time database system, called COMET. Our experiments with the COMET database have shown that it is indeed possible to design a real-time system without QoS management and then with a reasonable effort add the QoS dimension to the system using a QoS aspect package.

  • 11.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Amirijoo, Mehdi
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nilsson, Daniel
    Institutionen för datavetenskap Linköpings universitet.
    Norin, Henrik
    Institutionen för datavetenskap Linköpings universitet.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Dynamically Reconfigurable QoS-aware Embedded Systems2007Inngår i: Embedded Systems: Status and Perspective / [ed] Raj Kamal, USA: American Scientific Publisher , 2007, 2, s. -633Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    This book, equally applicable for a CSE or ECE course, gives an extensive account of Embedded Systems, keeping a balanced coverage of hardware and software concepts. Adhering to syllabus needs, this title is ‘microprocessor’ and ‘software design methodology’ specific, giving due weightage to architecture, programming and design aspects.

  • 12.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Amirijoo, Mehdi
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nilsson, Daniel
    Norin, Henrik
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Ensuring Real-Time Performance Guarantees in Dynamically Reconfigurable Embedded Systems2005Inngår i: IFIP International Conference on Embedded And Ubiquitous Computing EUC,2005, Heidelberg: Springer Verlag , 2005, s. 131-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present a quality of service (QoS) adaptive framework for dynamic reconfiguration of component-based real-time systems. Our framework is light-weighted enabling reconfiguration in resource constrained embedded environments. Furthermore, it is possible to reconfigure both components and aspects of a system, hence, enabling finer tuning of a real-time system. Real-time QoS guarantees are maintained in the system and under reconfiguration by employing feedback-based scheduling methods.

  • 13.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Amirijoo, Mehdi
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Nilsson, Daniel
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Norin, Henrik
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Ensuring real-time performance guarantees in dynamically reconfigurable embedded systems2005Inngår i: Embedded and Ubiquitous Computing – EUC 2005: International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings / [ed] Laurence T. Yang, Makoto Amamiya, Zhen Liu, Minyi Guo and Franz J. Rammig, Springer Berlin/Heidelberg, 2005, Vol. 3824, s. 131-141Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    In this paper we present a quality of service (QoS) adaptive framework for dynamic reconfiguration of component-based realtime systems. Our framework is light-weighted enabling reconfiguration in resource constrained embedded environments. Furthermore, it is possible to reconfigure both components and aspects of a system, hence, enabling finer timing of a real-time system. Real-time QoS guarantees are maintained in the system and under reconfiguration by employing feedback-based scheduling methods.

  • 14.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Gustafsson, Thomas
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Separating Active and On-demand Behavior of Embedded Systems into Aspects2006Inngår i: Workshop on Non-functional Properties of Embedded Systems NFPES06,2006, Berlin: VDE VERLAG GMBH , 2006Konferansepaper (Fagfellevurdert)
  • 15.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Structuring Criteria for the Design of Component-Based Real-Time Systems2004Inngår i: IADIS International Conference on Applied Computing 2004,2004, Lisbon: IADIS Press , 2004, s. 401-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Using component-based software development in real-time system development offers significant benefits especially in enabling configurability, and rapid development and deployment of real-time software. Successful integration of component-based software development into real-time system development is greatly dependent on identifying issues that a design method for component-based real-time systems needs to address. The issues focused on by existing design approaches are decomposition of a real-time system into tasks and temporal analysis, while issues such as components, their relationship to tasks, and separation of concerns are not addressed. In this paper, we identify the criteria a design method for component-based real-time systems should fulfill to enable efficient, reuse-oriented, development of reliable and configurable real-time systems. The criteria include a real-time component model that supports mapping of components to tasks, separation of concerns in real-time systems through the notion of different types of aspects, and composition support, namely support for configuration and analysis of the composed real-time software. By introducing a new set of criteria for the design of component-based real-time systems, we help bridging the gap between the real-timeand software engineering community and offer a good basis for evaluating existing, and developing new, design methods for building component-based real-time systems.

  • 16.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nyström, Dag
    Mälardalen University .
    Norström, Christer
    Mälardalen University .
    Aspect-Level Worst-Case Execution Time Analysis of Real-Time Systems Compositioned Using Aspects and Components2003Inngår i: 27th IFAC IFIP IEEE Workshop on Real-Time Programming WRTP03,2003, Kidlington: Elsevier , 2003, s. 129-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Increasing complexity in development of real-time systems accompanied by the demand for enabling their configurability requires the integration of aspect-oriented software development with real-time system development. Since software technology for building real-time systems has to support predictability in the time domain, methods and tools for analyzing temporal behavior of the aspect-oriented software are needed. Knowing worst-case execution time is of primary importance for timing analysis of real-time systems. We contribute by providing support for predictable aspect-oriented software development, by enabling symbolic worst-case execution time analysis of the aspect-oriented software systems.

  • 17.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nyström, Dag
    Mälardalen University .
    Norström, Christer
    Mälardalen University .
    Uhlin, Pernilla
    Aspect-Level WCET Analyzer: a Tool for Automated WCET Analysis of a Real-Time Software Composed Using Aspects and Components2003Inngår i: 3rd International Workshop on Worst-Case Execution Time Analysis WCET 2003,2003, 2003Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Increasing complexity in development of real-time systems requires the integration of new software engineering techniques, such as aspect-oriented and component-based software development,with real-time system development. Since software technology for building real-time systems has to support timeliness,methods and tools for analyzing temporal behavior of the softwarecomposed out of components and aspects are needed. We contribute by providing a tool that enables automated worst-case execution time analysis of different configurations of aspects and components.

  • 18.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Mu, Peng
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Development Environment for Configuration and Analysis of Embedded Real-Time Systems2005Inngår i: Proceedings of the 4th AOSD International Workshop on Aspects, Components, and Patterns for Infrastructure Software ACP4IS05,2005, 2005Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present a tool framework that provides developers of real-time systems with support for building and configuring a system out of components and aspects, as well as real-time analysis of the configured system. This way a real-time system can efficiently be configured to meet functional requirements and analyzed to ensure that non-functional requirements are also fulfilled, e.g., available resources such as memory and CPU. We illustrate the usability of the tool by a case study of an embedded real-time database system.

  • 19.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nadjm-Tehrani, Simin
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Modular Verification of Reconfigurable Components2005Inngår i: Component-Based Software Development for Embedded Systems: An Overview on Current Research Trends / [ed] Colin Atkinson (Editor), Christian Bunse, Hans-Gerhard Gross, Christian Peper, Heidelberg: Springer Verlag , 2005, 1, s. -353Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.

  • 20.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Nadjm-Tehrani, Simin
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Modular verification of reconfigurable components2005Inngår i: Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends / [ed] Colin Atkinson, Christian Bunse, Hans-Gerhard Gross and Christian Peper, Springer Berlin/Heidelberg, 2005, Vol. 3778, s. 59-81Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    This chapter presents a framework for modular verification of reconfigurable real-time components. The framework enables proving that the reconfiguration of components via aspect weaving provides expected functional and temporal behavior in the reconfigured component. Within the framework we formally represent components and aspects as augmentations of timed automata. The verification is based on two algorithms: an algorithm that extracts necessary information into component verification interfaces, and an algorithm that checks, on an aspect, whether the property is preserved upon reconfiguration. Hence, the method ensures that components are verified only once for a particular property, while the property satisfaction under reconfiguration is checked only on aspects. Verification interfaces for a given property can be reused for multiple aspects and reconfigurations.

  • 21.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nyström, Dag
    Mälardalen University .
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Norström, Christer
    Mälardalen University .
    Aspects and Components in Real-Time System Development: Towards Reconfigurable and Reusable Software2004Inngår i: Journal of Embedded Computing, ISSN 1740-4460, E-ISSN 1875-9025, Vol. 1, nr 1Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Increasing complexity of real-time systems, and demands for enabling their configurability and reusability are strong motivations for applying new software engineering principles, such as aspect-oriented and component-based development.In this paper we introduce a novel concept of aspectual component-based real-time system development. The concept is based on a design method that assumes composition of real-time systems into components and aspects, and provides a real-time component model that supports the notion of time and temporal constraints, space and resource management constraints, and composability. Initial results show that the successful application of the proposed concept has a positive impact on real-time system development in enabling efficient configuration of real-time systems, improved reusability and flexibility of real-time software, and modularization of crosscutting concerns. We provide arguments for this by presenting an application of the proposed concept on the design and development of a configurable embedded real-time atabase, called COMET. Furthermore, using the COMET system as an example, we introduce a novel way of handling concurrency in a real-time database system, where concurrency is modeled as an aspect crosscutting the system.

  • 22.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Nyström, Dag
    Mälardalen University, Västerås.
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Norström, Christer
    Mälardalen University, Västerås.
    Integrating Symbolic Worst-Case Execution Time Analysis with Aspect-Oriented System Development2002Inngår i: OOPSLA 2002 Workshop on Tools for Aspect-Oriented Software Development (Seattle, WA), 2002Konferansepaper (Annet vitenskapelig)
    Abstract [en]

    Increasing complexity in development of real-time systems accompanied by the demand for enabling their configurability requires the integration of aspect-oriented software development with real-time system development. Since software technology for building real-time systems has to support predictability in the time domain, methods and tools for analyzing temporal behavior of the aspectoriented software are needed. Knowing worst-case execution time is of primary importance for timing analysis of real-time systems. We contribute by providing support for predictable aspect-oriented software development, by enabling symbolic worst-case execution time analysis of the aspect-oriented software systems.

  • 23.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Nyström, Dag
    Mälardalen University .
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Norström, Christer
    Mälardalen University .
    Towards Aspectual Component-Based Development of Real-Time Systems2004Inngår i: 9th International Conference on Real-Time and Embedded Computing Systems and Applications RTCSA 2003,2003, Heidelberg: Springer Verlag , 2004, s. 558-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principles, such as aspect-oriented and component-based development. In this paper we introduce a novel concept of aspectual component-based real-time system development. The concept is based on a design method that assumes decomposition of real-time systems into components and aspects, and provides a real-time component model that supports the notion of time and temporal constraints, space and resource management constraints, and composability. We anticipate that the successful applications of the proposed concept should have a positive impact on real-time system development in enabling efficient configuration of real-time systems, improved reusability and flexibility of real-time software, and modularization of crosscutting concerns. We provide arguments for this assumption by presenting an application of the proposed concepton the design and development of a configurable embedded real-time database, called COMET. Furthermore, using the COMET system as an example, we introduce a novel way of handling concurrency in a real-time database system, where concurrency is modeled as an aspect crosscutting the system.

  • 24.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Nyström, Dag
    Department of Computer Engineering, Mälardalen University, Västerås, Sweden .
    Hansson, Jörgen
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Norström, Christer
    Department of Computer Engineering, Mälardalen University, Västerås, Sweden .
    Towards aspectual component-based development of real-time systems2003Inngår i: Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers / [ed] Jing Chen and Seongsoo Hong, Springer Berlin/Heidelberg, 2003, Vol. 2968, s. 558-577Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principles, such as aspect-oriented and component-based development. In this paper we introduce a novel concept of aspectual component-based real-time system development. The concept is based on a design method that assumes decomposition of real-time systems into components and aspects, and provides a real-time component model that supports the notion of time and temporal constraints, space and resource management constraints, and composability. We anticipate that the successful applications of the proposed concept should have a positive impact on real-time system development in enabling efficient configuration of real-time systems, improved reusability and flexibility of real-time software, and modularization of crosscutting concerns. We provide arguments for this assumption by presenting an application of the proposed concept on the design and development of a configurable embedded real-time database, called COMET. Furthermore, using the COMET system as an example, we introduce a novel way of handling concurrency in a real-time database system, where concurrency is modeled as an aspect crosscutting the system.

  • 25.
    Tesanovic, Aleksandra
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Sheng, Ke
    Hansson, Jörgen
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem.
    Application-Tailored Database Systems: a Case of Aspects in an Embedded Database2004Inngår i: 8th International Database Engineering and Applications Symposium IDEAS04,2004, Los Alamitos, California: IEEE Computer Society , 2004, s. 291-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Current techniques used to design and implement database systems do not provide support for efficient implementation of crosscutting concerns in the database software, e.g., failure detection, database policies such as concurrency control and scheduling, and synchronization. Aspect-oriented software development (AOSD) is a new technique that provides an efficient way of modularizing crosscutting concerns in software systems. In this paper we evaluate the effectiveness of applying AOSD to database systems thereby paving way for successful application of aspect languages to the database domain. Our focus is on embedded database systems, as a representative for a class of database systems. We show, by analyzing and re-engineering one commercial well-known embedded database system Berkeley database, that aspect-orientation has promise, especially in enabling development of tailorable, maintainable, and evolvable database systems.

  • 26. Bestill onlineKjøp publikasjonen >>
    Tešanović, Aleksandra
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components2006Doktoravhandling, monografi (Annet vitenskapelig)
    Abstract [en]

    Our main focus in this thesis is on providing guidelines, methods, and tools for design, configuration, and analysis of configurable and reusable real-time software, developed using a combination of aspect-oriented and component-based software development. Specifically, we define a reconfigurable real-time component model (RTCOM) that describes how a real-time component, supporting aspects and enforcing information hiding, could efficiently be designed and implemented. In this context, we outline design guidelines for development of real-time systems using components and aspects, thereby facilitating static configuration of the system, which is preferred for hard real-time systems. For soft real-time systems with high availability requirements we provide a method for dynamic system reconfiguration that is especially suited for resourceconstrained real-time systems and it ensures that components and aspects can be added, removed, or exchanged in a system at run-time. Satisfaction of real-time constraints is essential in the real-time domain and, for real-time systems built of aspects and components, analysis is ensured by: (i) a method for aspectlevel worst-case execution time analysis; (ii) a method for formal verification of temporal properties of reconfigurable real-time components; and (iii) a method for maintaining quality of service, i.e., the specified level of performance, during normal system operation and after dynamic reconfiguration.

    We have implemented a tool set with which the designer can efficiently configure a real-time system to meet functional requirements and analyze it to ensure that non-functional requirements in terms of temporal constraints and available memory are satisfied.

    In this thesis we present a proof-of-concept implementation of a configurable embedded real-time database, called COMET. The implementation illustrates how our methods and tools can be applied, and demonstrates that the proposed solutions have a positive impact in facilitating efficient development of families of realtime systems.

  • 27. Bestill onlineKjøp publikasjonen >>
    Tešanović, Aleksandra
    Linköpings universitet, Institutionen för datavetenskap, RTSLAB - Laboratoriet för realtidssystem. Linköpings universitet, Tekniska högskolan.
    Towards Aspectual Component-Based Real-Time System Development2003Licentiatavhandling, monografi (Annet vitenskapelig)
    Abstract [en]

    Increasing complexity of real-time systems and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principles such as aspect-oriented and component-based software development. The integration of these two techniques into real-time systems development would enable: (i) efficient system configuration from the components in the component library based on the system requirements, (ii) easy tailoring of components and/or a system for a specific application by changing the behavior (code) of the component by aspect weaving, and (iii) enhanced flexibility of the real-time and embedded software through the notion of system configurability and component tailorability.

    In this thesis we focus on applying aspect-oriented and component-based software development to real-time system development. We propose a novel concept of aspectual component-based real-time system development (ACCORD). ACCORD introduces the following into real-time system development: (i) a design method that assumes the decomposition of the real-time system into a set of components and a set of aspects, (ii) a real-time component model denoted RTCOM that supports aspect weaving while enforcing information hiding, (iii) a method and a tool for performing worst-case execution time analysis of different configurations of aspects and components, and (iv) a new approach to modelling of real-time policies as aspects.

    We present a case study of the development of a configurable real-time database system, called COMET, using ACCORD principles. In the COMET example we show that applying ACCORD does have an impact on the real-time system development in providing efficient configuration of the real-time system. Thus, it could be a way for improved reusability and flexibility of real-time software, and modularization of crosscutting concerns.

    In connection with development of ACCORD, we identify criteria that a design method for component-based real-time systems needs to address. The criteria include a well-defined component model for real-time systems, aspect separation, support for system configuration, and analysis of the composed real-time system. Using the identified set of criteria we provide an evaluation of ACCORD. In comparison with other approaches, ACCORD provides a distinct classification of crosscutting concerns in the real-time domain into different types of aspects, and provides a real-time component model that supports weaving of aspects into the code of a component, as well as a tool for temporal analysis of the weaved system.

1 - 27 of 27
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf