VEST
VEST -- a toolset for constructing and analyzing component based embedded systems Embedded systems are proliferating at an amazing rate. To be successful these systems must be tailored to meet many cost, time to market, performance, and dependability constraints. Building and tailoring embedded systems by using domain specific components has promise. However, in composing components the most difficult issues are ensuring that non-functional properties such as real-time performance and dependability are being met. The VEST toolkit is aimed at providing a rich set of dependency checks based on aspects to support embedded system development via components
Keywords for this software
References in zbMATH (referenced in 26 articles , 1 standard article )
Showing results 1 to 20 of 26.
Sorted by year (- Chen, Jinchao; Du, Chenglie; Xie, Fei; Yang, Zhenkun: Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems (2016)
- Åström, Karl J.; Kumar, P.R.: Control: a perspective (2014)
- Squire, J.; Burby, J.; Qin, H.: VEST: Abstract vector calculus simplification in Mathematica (2014)
- Bakhshiyan, B.Ts.; Goryainov, A.V.: Solution of the problem of $L$-optimal experiment design with a skeleton algorithm (2010)
- Galyaev, A.A.: On the detection functional in motion of an object in a threat environment (2010)
- Islam, Shariful; Suri, Neeraj; Balogh, András; Csertán, György; Pataricza, András: An optimization based design for integrated dependable real-time embedded systems (2009) ioport
- Polischuk, A.S.: A microdeformation theory for damageable materials (2009)
- Bini, Enrico; Di Natale, Marco; Buttazzo, Giorgio: Sensitivity analysis for fixed-priority real-time systems (2008)
- Delaunay, Pascal; Joux, Antoine: Yet another attack on Vest (2008)
- Gokhale, Aniruddha; Balasubramanian, Krishnakumar; Krishna, Arvind S.; Balasubramanian, Jaiganesh; Edwards, George; Deng, Gan; Turkay, Emre; Parsons, Jeffrey; Schmidt, Douglas C.: Model driven middleware: A new paradigm for developing distributed real-time and embedded systems (2008)
- Jung, Eunok; Lenhart, Suzanne; Protopopescu, Vladimir; Babbs, Charles: Optimal control applied to a thoraco-abdominal CPR model (2008)
- Karsai, Gabor; Neema, Sandeep; Sharp, David: Model-driven architecture for embedded software: A synopsis and an example (2008)
- Balasubramanian, Krishnakumar; Balasubramanian, Jaiganesh; Parsons, Jeff; Gokhale, Aniruddha; Schmidt, Douglas C.: A Platform-independent Component Modeling Language for distributed real-time and embedded systems (2007)
- Joux, Antoine; Reinhard, Jean-René: Overtaking VEST (2007)
- Mahadevan, Shankar; Virk, Kashif; Madsen, Jan: ARTS: A systemc-based framework for multiprocessor systems-on-chip modelling (2007) ioport
- Röttger, Simone; Zschaler, Steffen: Tool support for refinement of non-functional specifications (2007) ioport
- Valuşescu, Ilie: Stationary processes in complete correlated actions. (2007)
- Yasugi, Mariko; Mori, Takakazu; Tsujii, Yoshiki: The effective sequence of uniformities and its limit as a methodology in computable analysis (2007)
- Juratoni, Adina: Some absolutely continuous representations of function algebras (2006)
- Madl, Gabor; Abdelwahed, Sherif; Schmidt, Douglas C.: Verifying distributed real-time properties of embedded systems via graph transformations and model checking (2006)
Further publications can be found at: http://www.cs.virginia.edu/wsn/publications.html