1 line
5.9 KiB
JSON
1 line
5.9 KiB
JSON
{"url": "http://alderis.ics.uci.edu/", "content": "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1//EN\" \"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd\">\n<html xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"en\">\n<head>\n<title>Alderis@UCI - Analysis Language for Distributed, Embedded, and Real-time Systems</title>\n<meta http-equiv=\"content-type\" content=\"text/html; charset=utf-8\" />\n<link rel=\"stylesheet\" href=\"css/1.css\" type=\"text/css\" media=\"screen,projection\" />\n\n</head>\n \n<body>\n\n\t\t<div id=\"container\">\n\t\t\n\t\t\t\t<div id=\"header\">\n\t\t\t\t\n\t\t\t\t\t\t<h1>Alderis@UCI</a></h1>\n\t\t\t\t\t\t<h3>Analysis Language for Distributed, Embedded, and Real-time Systems.</h3>\n\t\t\t\t\n\t\t\t\t</div>\n\t\t\t\t\n\t\t\t\t<ul id=\"nav\">\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t<li><a href=\"downloads.html\">Downloads</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"publications.html\">Publications</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"dresystems.html\">DRE Systems</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"amba2.html\">AMBA</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"links.html\">Links</a></li>\n\t\t\t\t\t\t\t\t<li><a href=\"#\" class=\"active\">Home</a></li>\n\t\t\t\t\t\t\t\t\n\t\t\t\t</ul>\n\t\t\t\t\n\t\t\t\t<br class=\"clear\" />\n\t\t\t\t\n\t\t\t\t<div id=\"sidebar\">\n\t\t\t\t\n\t\t\t\t\t\t<h1>Description</h1>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\tAlderis is a project hosted at the Center for Embedded Computer Systems (CECS), part of the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine.\n\t\t\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<h1>News</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\t<img src=\"pics/new.png\"/>We have released several NuSMV models used for the analysis of a digital camera MPSoC. Click on <a href=\"amba2.html\">AMBA</a> to see the models! The results of this analysis were published in the following paper:\n\t\t\t\t\t\t</p>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\tGabor Madl, Sudeep Pasricha, Qiang Zhu, Luis Angel D. Bathen, Nikil Dutt: <a href=\"http://www.ics.uci.edu/~gabe/papers/MPZBD_EMSOFT_2006.pdf\">Formal Performance Evaluation of AMBA-based System-on-Chip Designs</a>, Proceedings of EMSOFT 2006. <a href=\"http://www.ics.uci.edu/~gabe/bibtex/MPZBD_EMSOFT_2006.txt\">Bibtex</a>.\n\t\t\t\t\t\t</p>\n\n\t\t\t\t\t\t<p>\nThe publication is covered by copyright. It is provided for personal use only and may not be distributed.\n\t\t\t\t\t\t</p>\n\t\t\t\t\t\t\n\n\t\t\n\t\t\t\t\t\t<div class=\"sidebarfooter\">\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t<a href=\"http://dre.sourceforge.net\">DREAM</a>\n\t\t\t\t\t\t\t\t<a href=\"http://www.cecs.uci.edu/~aces\">ACES</a>\n\t\t\t\t\t\t\t\t<a href=\"http://www.ics.uci.edu/~forge\">FORGE</a>\n\t\t\t\t\t\t\n\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<div id=\"sidebar_bottom\"></div>\n\t\t\t\t\n\t\t\t\t</div>\n\t\t\t\t\n\t\t\t\t<div id=\"content\">\n\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\n\t\t\t\t\t\t<h1>Introduction</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\tThe Alderis project focuses on the application of Domain Specific Modeling Languages (DSMLs) and meta-modeling to specify a common semantic domain for the analysis of distributed real-time embedded (DRE) systems.\n\t\t\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\tThe Alderis language has both a visual and textual syntax with formally defined semantics. Alderis models can be verified directly by the open-source Distributed Real-time Embedded Analysis Method (DREAM) tool available for download at <a href=\"http://dre.sourceforge.net\">http://dre.sourceforge.net</a>.\n\t\t\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t<h1>Motivation</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\nComponent-based development is an emerging paradigm for the design of distributed real-time embedded (DRE) systems with hard QoS support. Components refer to reusable pieces of solutions, which can be configured and composed together to provide a service. Alderis plans to support this paradigm shift by providing a language and semantic domain for the model-driven development (MDD) of DRE systems.\n\t\t\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\t\t\n\t\t\t\t\t\t<h1>Model-Driven Development</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\nThe Alderis language is specified using meta-modeling as shown in the figure below. We use the <a href=\"http://www.isis.vanderbilt.edu/projects/gme/\">GME</a> modeling environment to specify Alderis. The figure shows a part of the Alderis meta-model with its corresponding concrete syntax. The red arrows show how modeling elements and their relations are specified by the meta-model.\n\n\t\t\t\t\t\t</p>\n\n<img src=\"figures/metamodeling.png\" width=\"400\" height=\"327\" border=\"0\" alt=\"Meta-modeling\"><br/><br/>\n\n\t\t\t\t\t\t<h1><a href=\"#\" id=\"mdd\"></a>Formal Verification & Analysis</h1>\n\n\t\t\t\t\t\t<p>\n\t\t\t\t\t\t\nA key property of the Alderis language is that it has formally defined semantics allowing real-time verification using timed automata model checker tools such as <a href=\"http://www.uppaal.com\">UPPAAL</a> and the <a href=\"http://www-verimag.imag.fr/~async/IF\">Verimag IF toolset</a>. The <a href=\"http://dre.sourceforge.net\">DREAM</a> tool provides a way to automatically generate the timed automata models from the Alderis specification. <a href=\"http://dre.sourceforge.net\">DREAM</a> also provides a way for random simulations that can be used efficiently to find bugs in designs that are too large and lead to state space explosions.\n\n\t\t\t\t\t\t</p>\n\n\t\t\t\t</div>\n\t\t\n\t\t</div>\n\t\t\n\t\t<div id=\"footer\">\n\t\t\n\t\t\t\t<p>\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t© All the material published on this website is copyrighted. All rights reserved. <a href=\"http://www.ipstat.com/cgi-bin/stats?name=alderis\"><img src=\"http://www.ipstat.com/cgi-bin/ipstat?name=alderis\" height=\"5\" width=\"5\" border=\"0\"></a>\n\n\t\t\t\t\n\t\t\t\t\t\t</p>\n\t\t\n\t\t</div>\n\n\n</body>\n</html>\n", "encoding": "ascii"} |