Högskolan i Skövde

his.sePublikasjoner
Endre søk
Begrens søket
1 - 35 of 35
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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.
    Andler, Sten F.
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Eriksson, Joakim
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Eftring, Bengt
    Högskolan i Skövde, Institutionen för datavetenskap.
    DeeDS: Towards a Distributed and Active Real-Time Database Systems1996Inngår i: ACM Sigmod Record, Vol. 25, nr 1, s. 38-40Artikkel i tidsskrift (Fagfellevurdert)
    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.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Karlsson, Alexander
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Ståhl, Niclas
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Torra, Vicenç
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Complex Data Analysis2019Inngår i: Data science in Practice / [ed] Alan Said, Vicenç Torra, Springer, 2019, s. 157-169Kapittel i bok, del av antologi (Fagfellevurdert)
    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.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database, Active Database (Management) System2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 27-28Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 4.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Coupling Modes2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 33-35Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 5.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Execution Model2009Inngår i: Encyclopediia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 35-36Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 6.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Knowledge Model2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 36-37Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 7.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Database Trigger2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 738-738Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 8.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rules2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-960Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 9.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Högberg, Urban
    EDS Sweden AB, Trollhättan.
    Visualization of the Composite Event Detection Process1999Inngår i: Proceedings User Interfaces to Data Intensive Systems / [ed] Norman W. Paton, Tony Griffiths, 1999, s. 118-127Konferansepaper (Fagfellevurdert)
    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.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Andler, Sten F.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Bounds on Test Effort for Event-Triggered Real-Time Systems1999Rapport (Annet vitenskapelig)
    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.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Rulebase2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 37-37Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 12.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Composite Event2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 418-419Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 13.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Event in Active Databases2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1044-1045Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 14.
    Grindal, Mats
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Offutt, Jeff
    Information and Software Engineering, George Mason University, Fairfax, VA, USA.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Handling Constraints in the Input Space when Using Combination Strategies for Software Testing2006Rapport (Annet vitenskapelig)
    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.

    Fulltekst (pdf)
    FULLTEXT01
  • 15.
    Grindal, Mats
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Offutt, Jeff
    Info. and Software Engng, George Mason University, Fairfax, VA, USA.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    On the Testing Maturity of Software Producing Organizations2006Inngår i: Proceedings - Testing: Academic and Industrial Conference: Practice and Research Techniques, TAIC PART 2006, Los Alamitos, California: IEEE Computer Society, 2006, s. 171-180Konferansepaper (Annet vitenskapelig)
    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.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    van Laere, JoeriHögskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.Mellin, JonasHögskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Proceedings of the 3rd Skövde Workshop on Information Fusion Topics (SWIFT 2009)2009Konferanseproceedings (Annet vitenskapelig)
  • 17.
    Lindström, Birgitta
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Andler, Sten F.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Testability of dynamic real-time systems2002Inngår i: Proceedings of Eigth International Conference on Real-Time Computing Systems and Applications (RTCSA2002), 2002, s. 93-97Konferansepaper (Fagfellevurdert)
  • 18.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Event Monitoring & Detection in Distributed Real Time Systems1996Rapport (Annet vitenskapelig)
    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.

    Fulltekst (pdf)
    FULLTEXT01
  • 19.
    Mellin, Jonas
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Systematic Generation of Risk Evaluation Systems basedon Temporal Motivational Theory2016Inngår i: USB Proceedings of the 13th Workshop on Modeling Decisions for Artifical Intelligence  (MDAI2016) / [ed] Vicenc Torra, 2016, s. 122-132Konferansepaper (Fagfellevurdert)
    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.

    Fulltekst (pdf)
    fulltext
  • 20.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Andler, Sten F.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    The effect of optimizing engine control on fuel consumption and roll amplitude in ocean-going vessels: An experimental study2015Rapport (Annet vitenskapelig)
    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. 

    Fulltekst (pdf)
    fulltext
    Fulltekst (zip)
    fulltext
  • 21.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Management System Architecture2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 28-33Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 22.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Atomic Event2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 143-143Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 23.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rule Action2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-959Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 24.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rule Condition2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-959Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 25.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Event Detection2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1035-1040Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 26.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Event Specification2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1059-1063Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 27.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Explicit Event2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1080-1080Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 28.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Implicit Event2009Inngår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1404-1405Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 29.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Andler, Sten F.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Refining Design Constraints using a System Services Model of a Real-Time DBMS1995Rapport (Annet vitenskapelig)
    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.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Johansson, Ronnie
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Adaptive Application and Resource Management2008Inngår i: 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, s. 67-70Konferansepaper (Fagfellevurdert)
  • 31.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Pozzer, Cesar
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Heldal, Ilona
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Gustavsson, Per M.
    Combitech/Saab Box 46, 541 21 Skövde - Sweden.
    Using Imprecise Computation for Virtual and Constructive Simulations2014Inngår i: 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, s. 4043-4044Konferansepaper (Fagfellevurdert)
    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.

    Fulltekst (pdf)
    fulltext
  • 32.
    Nilsson, Robert
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Offutt, Jeff
    Information and Software Engineering, George Mason University, Fairfax Virginia, USA.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Test case generation for mutation-based testing of timeliness2006Inngår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 164, nr 4, s. 97-114Artikkel i tidsskrift (Fagfellevurdert)
    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.

    Fulltekst (pdf)
    fulltext
  • 33.
    Nilsson, Robert
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Offutt, Jeff
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Test case generation for testing of timeliness: Extended version2005Rapport (Annet vitenskapelig)
    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.

    Fulltekst (pdf)
    FULLTEXT01
  • 34.
    Pozzer, Cesar
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Amorim, Joni A.
    Universidade Estadual de Campinas - UNICAMP Cidade Universitária "Zeferino Vaz", 13.083-970 Campinas, Brazil.
    Gustavsson, Per M.
    Combitech/Saab, Skövde, Sweden.
    Mellin, Jonas
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Heldal, Ilona
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    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 Networks2014Inngår i: Proceedings of Simulation Interoperability Workshop, 2014, s. 171-179Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A trend over the past years is that simulation systems for training are being connected in simulation networks, allowing the interaction of teams spread in distributed sites. By combining interconnected simulation systems the 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, mission rehearsal on site, since available computation resources are usually very limited in this scenario, or for a joint fires scenario, where the large and complex functional chain (including intelligence, C2, forward observer, pilots, etc.) may overload existing resources. In this work, the technique of imprecise computation in real-time systems (ICRS) to preserve time-critical simulation tasks is presented. The ICRS technique allows time-critical tasks to produce quicker solutions 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 Level Architecture (HLA), standardized as the IEEE 1516-series.

    Fulltekst (pdf)
    fulltext
  • 35.
    Steinhauer, H. Joe
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Automatic Early Risk Detection of Possible Medical Conditions for Usage Within an AMI-System2015Inngår i: 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, s. 13-21Konferansepaper (Fagfellevurdert)
    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).

    Fulltekst (pdf)
    fulltext
1 - 35 of 35
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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