Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.

Dismiss

A Requirements Pattern-Driven Approach to Modeling and Analyzing

3 views

Skip to first unread message

Christina Johnson

unread,

Sep 10, 2004, 10:31:36 AM9/10/04

This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

------_=_NextPart_001_01C49742.E0A5BB50
Content-Type: text/plain

University of Minnesota
Computer Science & Engineering Colloquium

A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded
Systems

Betty Cheng
Software Engineering and Network Systems Laboratory
Michigan State University

September 13, 2004
11:15 a.m. - 12:15 p.m.
EE/CS 3-125

Abstract
Embedded systems usually must achieve a higher level of robustness and
reliability because they control real-world physical processes or devices
upon which we depend, frequently, in a critical way. Consequently, methods
for modeling and developing embedded systems and rigorously verifying
behavior before committing to code are increasingly important. In order to
use object-oriented development techniques and UML for embedded systems, we
previously developed a framework for adding formal semantics to a collection
of UML diagrams that enable the automated derivation of formal language
specifications for those diagrams. Recently, we also identified a number of
{\it requirements patterns} for use in the development of requirements and
high-level design for embedded systems, and constructed a requirements
pattern template. Our requirements patterns include requirements constraints
that might be applicable when using a given pattern. This talk will
introduce our requirements patterns and overview our UML formalization
framework. With the ability to generate formal specifications from the UML
diagrams, these formally specified constraints can be analyzed using
existing model checkers. We will also describe how the requirements patterns
and UML formalization framework have been used to model and formally analyze
an automotive embedded system.

------_=_NextPart_001_01C49742.E0A5BB50
Content-Type: text/html
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">
<META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version =
5.5.2653.12">
<TITLE>A Requirements Pattern-Driven Approach to Modeling and Analyzing =
Embedded Systems</TITLE>
</HEAD>
<BODY>

University of Minnesota
 Computer Science & Engineering =
Colloquium

A Requirements Pattern-Driven =
Approach to Modeling and Analyzing Embedded Systems

Betty Cheng
 Software Engineering and Network =
Systems Laboratory
 Michigan State University

September 13, 2004
 11:15 a.m. - 12:15 p.m.
 EE/CS 3-125

Abstract
 Embedded systems usually must achieve =
a higher level of robustness and reliability because they control =
real-world physical processes or devices upon which we depend, =
frequently, in a critical way. Consequently, methods for modeling and =
developing embedded systems and rigorously verifying behavior before =
committing to code are increasingly important. In order to use =
object-oriented development techniques and UML for embedded systems, we =
previously developed a framework for adding formal semantics to a =
collection of UML diagrams that enable the automated derivation of =
formal language specifications for those diagrams. Recently, we also =
identified a number of {\it requirements patterns} for use in the =
development of requirements and high-level design for embedded systems, =
and constructed a requirements pattern template. Our requirements =
patterns include requirements constraints that might be applicable when =
using a given pattern. This talk will introduce our requirements =
patterns and overview our UML formalization framework. With the ability =
to generate formal specifications from the UML diagrams, these formally =
specified constraints can be analyzed using existing model checkers. We =
will also describe how the requirements patterns and UML formalization =
framework have been used to model and formally analyze an automotive =
embedded system.

</BODY>
</HTML>
------_=_NextPart_001_01C49742.E0A5BB50--

0 new messages