SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;conttype:(scientificother);lar1:(mdh);srt2:(2005-2009);pers:(Ouimet Martin)"

Sökning: db:Swepub > Övrigt vetenskapligt/konstnärligt > Mälardalens universitet > (2005-2009) > Ouimet Martin

  • Resultat 1-7 av 7
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  • Ouimet, Martin, et al. (författare)
  • The TASM Toolset : Specification, Simulation, and Formal Verification of Real-Time Systems
  • 2007
  • Ingår i: Lecture Notes in Computer Science, vol. 4590. - 3540733671 ; , s. 126-130
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
    • In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) language, a specification language for reactive real-time systems. The TASM language enables the specification of functional and non-functional properties using a unified language. The toolset incorporates features to create specifications, simulate specifications, and verify formal properties of specifications. Properties that can be verified using the toolset include completeness, consistency, worst-case execution time, and best-case execution time. The toolset is being developed as part of an architecture-based framework for embedded realtime system engineering. We describe how the features of the toolset were used successfully to model and analyze case studies from the aerospace and automotive communities.
  •  
7.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-7 av 7
Typ av publikation
rapport (5)
konferensbidrag (2)
Typ av innehåll
övrigt vetenskapligt/konstnärligt  (7)Ta bort avgränsningen
Författare/redaktör
Lundqvist, Kristina (7)
Ouimet, Martin (7)Ta bort avgränsningen
Quenot, Mathieu (1)
Lärosäte
Mälardalens universitet  (7)Ta bort avgränsningen
Språk
Engelska (7)
Forskningsämne (UKÄ/SCB)
Teknik (7)
År
2007 (7)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy