VEST swMATH ID: 1405 Software Authors: Stankovic A, Wang H, Humphrey M, Zhu R, Poornalingam R, Lu C Description: 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 Homepage: http://www.cs.virginia.edu/~control/vest.html Related Software: Ptolemy; CPLEX; Uppaal; AspectC++; Tensorial; GeneralVectorAnalysis; TContinuumMechanics; MathGR; ORTHOVEC; VEST; MathTensor; xAct; xTensor; xPerm; Mathematica; Maple; Invar; Cadabra; AUTOSAR; Simula 67 Cited in: 23 Publications Further Publications: http://www.cs.virginia.edu/wsn/publications.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year VEST – a toolset for constructing and analyzing component based embedded systems. Zbl 1050.68512Stankovic, John A. 2001 all top 5 Cited by 50 Authors 3 Schmidt, Douglas C. 2 Balasubramanian, Jaiganesh 2 Balasubramanian, Krishnakumar 2 Gokhale, Aniruddha 2 Joux, Antoine 1 Abdelwahed, Sherif 1 Amirijoo, Mehdi 1 Åström, Karl Johan 1 Babbs, Charles F. 1 Bakhshiyan, B. Ts. 1 Bini, Enrico 1 Burby, Joshua W. 1 Buttazzo, Giorgio C. 1 Chen, Jinchao 1 Ciobanu, Monica 1 Delaunay, Pascal 1 Deng, Gan 1 Di Natale, Marco 1 Du, Chenglie 1 Edwards, George 1 Galyaev, Andrey A. 1 Goryainov, A. V. 1 Hansson, Jörgen 1 Jung, Eunok 1 Juratoni, Adina 1 Karsai, Gabor 1 Krishna, Arvind S. 1 Lenhart, Suzanne M. 1 Luo, Zhi-Quan 1 Madl, Gabor 1 Mori, Takakazu 1 Neema, Sandeep 1 Parsons, Jeff 1 Parsons, Jeffrey 1 Polischuk, A. S. 1 Protopopescu, Vladimir A. 1 Reinhard, Jean-René 1 Skvortsov, Valentin Anatol’evich 1 Squire, John M. 1 Stankovic, John A. 1 Sturm, Jos F. 1 Tešanović, Aleksandra 1 Troitskiĭ, Evgeniĭ Vadimovich 1 Tsujii, Yoshiki 1 Turkay, Emre 1 Valusescu, Ilie 1 Xie, Fei 1 Yang, Zhenkun 1 Yasugi, Mariko 1 Zhang, Shuzhong all top 5 Cited in 15 Serials 3 Real-Time Systems 2 Science of Computer Programming 2 Automation and Remote Control 1 Computer Physics Communications 1 Annals of the Japan Association for Philosophy of Science 1 Automatica 1 Journal of Computer and System Sciences 1 Real Analysis Exchange 1 Prikladnaya Mekhanika 1 SIAM Journal on Optimization 1 Journal of Mathematical Sciences (New York) 1 Analele Universității din Timișoara. Seria Matematică-Informatică 1 Mathematical Medicine and Biology 1 Monografii Matematice (Timișoara) 1 Surveys in Mathematics and its Applications all top 5 Cited in 18 Fields 10 Computer science (68-XX) 3 Systems theory; control (93-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Functions of a complex variable (30-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Biology and other natural sciences (92-XX) Citations by Year