his.sePublications
Change search
Refine search result
1 - 35 of 35
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Andler, Sten F.
    et al.
    University of Skövde, Department of Computer Science.
    Hansson, Jörgen
    University of Skövde, Department of Computer Science.
    Eriksson, Joakim
    University of Skövde, Department of Computer Science.
    Mellin, Jonas
    University of Skövde, Department of Computer Science.
    Berndtsson, Mikael
    University of Skövde, Department of Computer Science.
    Eftring, Bengt
    University of Skövde, Department of Computer Science.
    DeeDS: Towards a Distributed and Active Real-Time Database Systems1996In: ACM Sigmod Record, Vol. 25, no 1, p. 38-40Article in journal (Refereed)
    Abstract [en]

    DeeDS combines active database functionality with critical timing constraints and integrated system monitoring. Since the reactive database mechanisms, or rule management system, must meet critical deadlines, we must employ methods that make triggering of rules and execution of actions predictable. We will focus on the scheduling issues associated with dynamic scheduling of workloads where the triggered transactions have hard, firm or soft deadlines, and how transient overloads may be resolved by substituting transactions by computationally cheaper ones. The rationale for a loosely coupled general purpose event monitoring facility, that works in tight connection with the scheduler, is presented. For performance and predictability, the scheduler and event monitor are executing on a separate CPU from the rest of the system. Real-time database accesses in DeeDS are made predictable and efficient by employing methods such as main memory resident data, full replication, eventual consistency, and prevention of global deadlocks.

  • 2.
    Bae, Juhee
    et al.
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Karlsson, Alexander
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, The Informatics Research Centre. University of Skövde, School of Informatics.
    Ståhl, Niclas
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Torra, Vicenç
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Complex Data Analysis2019In: Data science in Practice / [ed] Alan Said, Vicenç Torra, Springer, 2019, p. 157-169Chapter in book (Refereed)
    Abstract [en]

    Data science applications often need to deal with data that does not fit into the standard entity-attribute-value model. In this chapter we discuss three of these other types of data. We discuss texts, images and graphs. The importance of social media is one of the reason for the interest on graphs as they are a way to represent social networks and, in general, any type of interaction between people. In this chapter we present examples of tools that can be used to extract information and, thus, analyze these three types of data. In particular, we discuss topic modeling using a hierarchical statistical model as a way to extract relevant topics from texts, image analysis using convolutional neural networks, and measures and visual methods to summarize information from graphs.

  • 3.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database, Active Database (Management) System2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 27-28Chapter in book (Other academic)
  • 4.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database Coupling Modes2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 33-35Chapter in book (Other academic)
  • 5.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database Execution Model2009In: Encyclopediia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 35-36Chapter in book (Other academic)
  • 6.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database Knowledge Model2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 36-37Chapter in book (Other academic)
  • 7.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Database Trigger2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 738-738Chapter in book (Other academic)
  • 8.
    Berndtsson, Mikael
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    ECA Rules2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 959-960Chapter in book (Other academic)
  • 9.
    Berndtsson, Mikael
    et al.
    University of Skövde, Department of Computer Science.
    Mellin, Jonas
    University of Skövde, Department of Computer Science.
    Högberg, Urban
    EDS Sweden AB, Trollhättan.
    Visualization of the Composite Event Detection Process1999In: Proceedings User Interfaces to Data Intensive Systems / [ed] Norman W. Paton, Tony Griffiths, 1999, p. 118-127Conference paper (Refereed)
    Abstract [en]

    Active database rules are problematic to explain, understand, debug, and design irrespective of knowledge about active rule semantics. In order to address this problem, various types of active database tools have been proposed in the literature such as browsers, debuggers, analyzers, and explanation tools.This paper focuses on visualization of event detection for an explanation tool and it presents the first study on what to visualize with respect to event detection at the lowest level (i.e. visualization of event detection for a specific event type).

  • 10.
    Birgisson, Ragnar
    et al.
    University of Skövde, Department of Computer Science.
    Mellin, Jonas
    University of Skövde, Department of Computer Science.
    Andler, Sten F.
    University of Skövde, Department of Computer Science.
    Bounds on Test Effort for Event-Triggered Real-Time Systems1999Report (Other academic)
    Abstract [en]

    The test effort required for full test coverage is much higher in an event-triggered than in a time-triggered real-time system. This makes it difficult to attain confidence in the correctness of event-triggered real-time applications by testing, which is a necessary complement to other verification methods. We present a more general upper bound on the test effort of constrained event-triggered real-time systems, assuming multiple resources (a refinement of previous results). The emphasis is on system level testing of application timeliness, assuming that sufficient confidence in its functional correctness has been attained. Covered fault types include incorrect assumptions about temporal attributes of application and execution environment, and synchronization faults. An analysis of the effects that our constraints have on predictability and efficiency shows that the use of designated preemption points is required. A key factor in this approach is the ability to reduce the number of required test cases while maintaining full test coverage.

  • 11.
    Ericsson, AnnMarie
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database Rulebase2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 37-37Chapter in book (Other academic)
  • 12.
    Ericsson, AnnMarie
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Composite Event2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 418-419Chapter in book (Other academic)
  • 13.
    Ericsson, AnnMarie
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Event in Active Databases2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 1044-1045Chapter in book (Other academic)
  • 14.
    Grindal, Mats
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    Information and Software Engineering, George Mason University, Fairfax, VA, USA.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Handling Constraints in the Input Space when Using Combination Strategies for Software Testing2006Report (Other academic)
    Abstract [en]

    This study compares seven different methods for handling constraints in input parameter models when using combination strategies to select test cases. Combination strategies are used to select test cases based on input parameter models. An input parameter model is a representation of the input space of the system under test via a set of parameters and values for these parameters. A test case is one specific combination of values for all the parameters. Sometimes the input parameter model may contain parameters that are not independent. Some sub-combinations of values of the dependent parameters may not be valid, i.e., these sub-combinations do not make sense. Combination strategies, in their basic forms, do not take into account any semantic information. Thus, invalid sub-combinations may be included in test cases in the test suite. This paper proposes four new constraint handling methods and compares these with three existing methods in an experiment in which the seven constraint handling methods are used to handle a number of different constraints in different sized input parameter models under three different coverage criteria. All in all, 2568 test suites with a total of 634,263 test cases have been generated within the scope of this experiment.

  • 15.
    Grindal, Mats
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    On the Testing Maturity of Software Producing Organizations2006In: Testing: Academia & Industry: Practice Ann Research Techniques (TAIC PART 2006), August 29-31, Cumberland Lodge, Windsor, UK, IEEE Computer Society, 2006, p. 171-180Conference paper (Other academic)
    Abstract [en]

    This paper presents data from a study of the current state of practice of software testing. Test managers from twelve different software organizations were interviewed. The interviews focused on the amount of resources spent on testing, how the testing is conducted, and the knowledge of the personnel in the test organizations. The data indicate that the overall test maturity is low. Test managers are aware of this but have trouble improving. One problem is that the organizations are commercially successful, suggesting that products must already be "good enough". Also, the current lack of structured testing in practice makes it difficult to quantify the current level of maturity and thereby articulate the potential gain from increasing testing maturity to upper management and developers

  • 16.
    Johansson, Ronnie
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    van Laere, JoeriUniversity of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.Mellin, JonasUniversity of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Proceedings of the 3rd Skövde Workshop on Information Fusion Topics (SWIFT 2009)2009Conference proceedings (editor) (Other academic)
  • 17.
    Lindström, Birgitta
    et al.
    University of Skövde, Department of Computer Science.
    Mellin, Jonas
    University of Skövde, Department of Computer Science.
    Andler, Sten F.
    University of Skövde, Department of Computer Science.
    Testability of dynamic real-time systems2002In: Proceedings of Eigth International Conference on Real-Time Computing Systems and Applications (RTCSA2002), 2002, p. 93-97Conference paper (Refereed)
  • 18.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Event Monitoring & Detection in Distributed Real Time Systems1996Report (Other academic)
    Abstract [en]

    This report is a survey of monitoring and event detection in distributed fault-tolerant real-time systems, as used in primarily active database systems, for testing and debugging purposes. It contains a brief overview of monitoring in general, with examples of how software systems can be instrumented in a distributed environment, and of the active database area with additional constraints of real-time discussed. The main part is a survey of event monitoring mostly taken from the active database area with additional discussion concerning distribution and fault-tolerance. Similarities between testing and debugging distributed real-time systems are described.

  • 19.
    Mellin, Jonas
    University of Skövde, The Informatics Research Centre. University of Skövde, School of Informatics.
    Systematic Generation of Risk Evaluation Systems basedon Temporal Motivational Theory2016In: USB Proceedings of the 13th Workshop on Modeling Decisions for Artifical Intelligence  (MDAI2016) / [ed] Vicenc Torra, 2016, p. 122-132Conference paper (Refereed)
    Abstract [en]

    This paper provides a schematic, systematic and structured approach todeveloping Bayesian belief networks to assess risks in contexts dened by activities.The method ameliorates elicitation, specication and validation of expert knowledgeby reusing a schematic structures based on reasoning of risks based on the temporal motivationaltheory. The method is based on earlier work that took a rst signicant steptowards reducing the complexity of development of Bayesian belief networks by clusteringand classifying variables in Bayesian belief networks as well as associating the processwith human deciions making. It may be possible to reduce the role of a facilitiatoror even remove the facilitator altogether by using this method. The method is partiallyvalidated and further work is required on this topic.

  • 20.
    Mellin, Jonas
    et al.
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Andler, Sten F.
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    The effect of optimizing engine control on fuel consumption and roll amplitude in ocean-going vessels: An experimental study2015Report (Other academic)
    Abstract [en]

    We use data-generated models based on data from experiments of an ocean-going vessel to study the effect of optimizing fuel consumption. The optimization is an add-on module to the existing diesel-engine fuel-injection control built by Q-TAGG R&D AB. The work is mainly a validation of knowledge-based models based on a priori knowledge from physics. The results from a simulation-based analysis of the predictive models built on data agree with the results based on knowledge-based models in a companion study. This indicates that the optimization algorithm saves fuel. We also address specific problems of adapting data to existing machine learning methods. It turns out that we can simplify the problem by ignoring the auto-correlative effects in the time series by employing low-pass filters and resampling techniques. Thereby we can use mature and robust classification techniques with less requirements on the data to demonstrate that fuel is saved compared to the full-fledged time series analysis techniques which are harder to use. The trade-off is the accuracy of the result, that is, it is hard to tell exactly how much fuel is saved. In essence, however, this process can be automated due to its simplicity. 

  • 21.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Active Database Management System Architecture2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 28-33Chapter in book (Other academic)
  • 22.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Atomic Event2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 143-143Chapter in book (Other academic)
  • 23.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    ECA Rule Action2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 959-959Chapter in book (Other academic)
  • 24.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    ECA Rule Condition2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 959-959Chapter in book (Other academic)
  • 25.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Event Detection2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 1035-1040Chapter in book (Other academic)
  • 26.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Event Specification2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 1059-1063Chapter in book (Other academic)
  • 27.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Explicit Event2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 1080-1080Chapter in book (Other academic)
  • 28.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Berndtsson, Mikael
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Implicit Event2009In: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, p. 1404-1405Chapter in book (Other academic)
  • 29.
    Mellin, Jonas
    et al.
    University of Skövde, Department of Computer Science.
    Hansson, Jörgen
    University of Skövde, Department of Computer Science.
    Andler, Sten F.
    University of Skövde, Department of Computer Science.
    Refining Design Constraints using a System Services Model of a Real-Time DBMS1995Report (Other academic)
    Abstract [en]

    In the DeeDS prototype, active database functionality and critical timing constraints are combined with integrated monitoring techniques. In the scope of DeeDS, this paper presents a mathematical model which is used to derive two important design constraints; worst-case minimum delay and maximum frequency of events. This model is based on a dual-processor hybrid-monitoring solution. Furthermore, different interaction styles between the scheduler and the event monitor are evaluated.

  • 30.
    Mellin, Jonas
    et al.
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Johansson, Ronnie
    University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
    Adaptive Application and Resource Management2008In: Proceedings of the second Skövde Workshop on Information fusion Topics (SWIFT 2008) / [ed] H. Boström, R. Johansson, Joeri van Laere, Skövde: University of Skövde , 2008, p. 67-70Conference paper (Refereed)
  • 31.
    Mellin, Jonas
    et al.
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Pozzer, Cesar
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Heldal, Ilona
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Gustavsson, Per M.
    Combitech/Saab Box 46, 541 21 Skövde - Sweden.
    Using Imprecise Computation for Virtual and Constructive Simulations2014In: Proceedings of the 2014 Winter Simulation Conference / [ed] A. Tolk, S. Y. Diallo, I. O. Ryzhov, L. Yilmaz, S. Buckley, & J. A. Miller, IEEE Press, 2014, p. 4043-4044Conference paper (Refereed)
    Abstract [en]

    In this work, we raise three critical questions that must be investigated to ameliorate composability ofvirtual simulation models and to enable adoption of systematic and stringent real-time techniques toenable more scalable simulation models for virtual and constructive simulation. The real-time techniquesin question enable us to separate between policies and mechanisms and, thus, the simulation engine candecide dynamically how to run the simulation given the existing resources (e.g., processor) and the goalsof the simulation (e.g., sufficient fidelity in terms of timing and accuracy). The three critical questionsare: (i) how to design efficient and effective algorithms for making dynamic simulation model designdecisions during simulation; (ii) how to map simulation entities (e.g., agents) into (real-time) tasks; and(iii) how to enable a divide and conquer approach to validating simulation models.

  • 32.
    Nilsson, Robert
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Test case generation for mutation-based testing of timeliness2006In: Proceedings of the Second Workshop on Model Based Testing (MBT 2006), 2006, p. 102-112Conference paper (Other academic)
    Abstract [en]

    Temporal correctness is crucial for real-time systems. Few methods exist to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution order in turn depends on execution environment properties such as scheduling protocols, use of mutual exclusive resources as well as the point in time when stimuli is injected. Model based mutation testing has previously been proposed to determine the execution orders that need to be verified to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation to generate test cases.

  • 33.
    Nilsson, Robert
    et al.
    University of Skövde, School of Humanities and Informatics.
    Offutt, Jeff
    University of Skövde, School of Humanities and Informatics.
    Mellin, Jonas
    University of Skövde, School of Humanities and Informatics.
    Test case generation for testing of timeliness: Extended version2005Report (Other academic)
    Abstract [en]

    Temporal correctness is crucial for real-time systems. There are few methods to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution orders in turn depends on scheduling protocols, task execution times, and use of mutual exclusive resources apart from the points in time when stimuli is injected. Model-based mutation testing has previously been proposed to determine the execution orders that need to be tested to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation for generation of test cases.

  • 34.
    Pozzer, Cesar
    et al.
    University of Skövde, The Informatics Research Centre. University of Skövde, School of Informatics.
    Amorim, Joni A.
    Universidade Estadual de Campinas - UNICAMP Cidade Universitária "Zeferino Vaz", 13.083-970 Campinas, Brazil.
    Gustavsson, Per M.
    Combitech/Saab, Sweden.
    Mellin, Jonas
    University of Skövde, The Informatics Research Centre. University of Skövde, School of Informatics.
    Heldal, Ilona
    University of Skövde, The Informatics Research Centre. University of Skövde, School of Informatics.
    Azevedo, Anibal T.
    Universidade Estadual de Campinas - UNICAMP Cidade Universitária "Zeferino Vaz" - 13.083-970 Campinas, Brazil.
    Imprecise Computation as an Enabler for Complex and Time Critical HLA Simulation Networks2014In: Proceedings of Simulation Interoperability Workshop, 2014, p. 171-179Conference paper (Refereed)
    Abstract [en]

    A trend over the past years is that simulation systems for training are being connected in simulationnetworks, allowing the interaction of teams spread in distributed sites. By combining interconnected simulation systemsthe simulation complexity increases and may affect time-critical simulation tasks in a negative way. As a consequence,the training simulation objectives may not be met. The same problem may occur when performing, for example, missionrehearsal on site, since available computation resources are usually very limited in this scenario, or for a joint firesscenario, where the large and complex functional chain (including intelligence, C2, forward observer, pilots, etc.) mayoverload existing resources. In this work, the technique of imprecise computation in real-time systems (ICRS) topreserve time-critical simulation tasks is presented. The ICRS technique allows time-critical tasks to produce quickersolutions for approximate results and saves computational resources. This paper discusses the main advantages of theICRS technique by a review of the commonly used optimization concepts built upon imprecise computation field. Thepaper ends with presenting a work-in-progress: an architectural solution for aligning ICRS with the High LevelArchitecture (HLA), standardized as the IEEE 1516-series.

  • 35.
    Steinhauer, H. Joe
    et al.
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Mellin, Jonas
    University of Skövde, School of Informatics. University of Skövde, The Informatics Research Centre.
    Automatic Early Risk Detection of Possible Medical Conditions for Usage Within an AMI-System2015In: Ambient Intelligence - Software and Applications / [ed] Amr Mohamed, Paulo Novais, António Pereira, Gabriel Villarrubia González, Antonio Fernández-Caballero, Springer Berlin/Heidelberg, 2015, p. 13-21Conference paper (Refereed)
    Abstract [en]

    Using hyperglycemia as an example, we present how Bayesian networks can be utilized for automatic early detection of a person’s possible medical risks based on information provided by un obtrusive sensors in their living environments. The network’s outcome can be used as a basis on which an automated AMI-system decides whether to interact with the person, their caregiver, or any other appropriate party. The networks’ design is established through expert elicitation and validated using a half-automated validation process that allows the medical expert to specify validation rules. To interpret the networks’ results we use an output dictionary which is automatically generated for each individual network and translates the output probability into the different risk classes (e.g.,no risk, risk).

1 - 35 of 35
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf