Ceres at 15:55, 9 January 2015

2015-01-09T15:55:56Z

Ceres at 11:29, 9 December 2014

2014-12-09T11:29:00Z

Slawek: Created page with "{{StudentProjectTemplate |Title=Dynamic Unit Checking |Summary=Masters and Bachelors (Ex/Job) Thesis Project |Author=Walid Taha |Supervisor=Adam Duracz, Veronica Gaspes, Walid..."

2014-06-23T09:15:37Z

Created page with "{{StudentProjectTemplate |Title=Dynamic Unit Checking |Summary=Masters and Bachelors (Ex/Job) Thesis Project |Author=Walid Taha |Supervisor=Adam Duracz, Veronica Gaspes, Walid..."

New page

{{StudentProjectTemplate
|Title=Dynamic Unit Checking
|Summary=Masters and Bachelors (Ex/Job) Thesis Project
|Author=Walid Taha
|Supervisor=Adam Duracz, Veronica Gaspes, Walid Taha,
|Level=Master
|Status=Open
}}
[[File:Dynamic_Unit_Checking.jpg|thumb|alt=Dynamic Unit Checking|Dynamic Unit Checking]]

Highlights:

<ul><li>Syntactic extension</li>
<li>Equivalence checking</li>
<li>Runtime checking</li>
<li>Error reporting</li>
<li>Specifics: Scala Check</li>
<li>Supervision: A Duracz, Gaspes, Taha</li>
</ul>

Description:

Cyber-Physical Systems (CPS) is an important research area that is concerned with the way in which many future innovations will involve close coupling of both communicating computational (or cyber) components as well as physical components. Universities around the world are developing courses on CPS, and high-quality case studies and model problems are very important for both the development of these educational programs and for evaluating new CPS tools. At Halmstad, Yingfu Zeng had previously developed a model of a Ping Pong playing robot, which has been used successfully for teaching three editions of the CPS course at Halmstad. The goal of this masters thesis project is to systematically develop the testing infrastructure need to ensure full test coverage for the traditional semantics used in Acumen modeling tool that provides the enabling technology.

References:

<ol>
<li>Experiences with A First Course on Cyber-Physical Systems. WESE'13 [http://www.effective-modeling.org/p/publications/conference/wese13.pdf pdf].</li>
<li>Modeling Basic Aspects of Cyber-Physical Systems. DSLRob'12, [http://www.effective-modeling.org/p/publications/conference/dslrob12.pdf pdf].</li>
<li>Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. [http://www.effective-modeling.org/p/tarballs/2012_11_16_Yingfu.tar Archive] includes thesis document, presentation, and Acumen models and snapshot of a Acumen.</li>
</ol>

@@ Line 1: / Line 1: @@
 {{StudentProjectTemplate
-|Title=Dynamic Unit Checking
+|Title=Improved Testing for Acumen
 |Summary=Masters and Bachelors (Ex/Job) Thesis Project
 |Author=Walid Taha

@@ Line 3: / Line 3: @@
 |Summary=Masters and Bachelors (Ex/Job) Thesis Project
 |Author=Walid Taha
-|Supervisor=Adam Duracz, Veronica Gaspes, Walid Taha,
+|Supervisor=Walid Taha, Veronica Gaspes, Adam Duracz
 |Level=Master
 |Status=Open
@@ Line 16: / Line 16: @@
 <li>Error reporting</li>
 <li>Specifics: Scala Check</li>
-<li>Supervision: A Duracz, Gaspes, Taha</li>
+<li>Supervision: Taha, Gaspes, Duracz</li>
 </ul>

Dynamic Unit Checking - Revision history

Ceres at 15:55, 9 January 2015

Ceres at 11:29, 9 December 2014

Slawek: Created page with "{{StudentProjectTemplate |Title=Dynamic Unit Checking |Summary=Masters and Bachelors (Ex/Job) Thesis Project |Author=Walid Taha |Supervisor=Adam Duracz, Veronica Gaspes, Walid..."