Personal tools
You are here: Home → Keynotes → SERP'08 Keynote - Prof. Xudong He
Current Events
WORLDCOMP'10
Click Here

Other Events
WORLDCOMP'09
Click Here
WORLDCOMP'07
Click Here
WORLDCOMP'06
Click Here

Join Our Mailing List
Sign up to receive email announcements and updates about conferences and future events




 
Document Actions

SERP'08 Keynote - Prof. Xudong He

Last modified 2008-06-21 09:34

A Formal Framework for Software System Modeling, Analysis and Realization
Professor Xudong He
 School of Computing and Information Sciences
Florida International University
Miami, Florida, USA

Date: July 14, 2008
Time: 1:20 PM
Location: Ballroom 8

Abstract

    Software is playing an essential role in the functioning of our society. Many software systems are often mission and safety critical and thus need to be highly dependable. How to develop and ensure the dependability of these complex software systems is a grand challenge.

    In this research paper, a formal framework called SAM for software system modeling, analysis, and realization is presented. This formal framework has being developed at Florida International University for almost ten years. This formal framework is founded on two complementary formal methods Petri nets and temporal logic. Petri nets are used to define the behavior models of software components while temporal logic is used to specify desirable properties. Various approaches have been developed for modeling object-oriented, aspect-oriented, and agent-oriented systems. Formal analysis techniques based on existing model checking methods as well as testing techniques to assure design correctness have been explored. Furthermore a translation technique is implemented to generate prototypical Java implementation from a given SAM software architecture description. We believe that this formal framework forms the basis of a sound engineering approach for developing highly dependable software systems.

Biography

    Xudong He received the BS and MS degrees in computer science from Nanjing University, China, in 1982 and 1984, respectively. He received the Ph.D. degree in computer science from Virginia Polytechnic Institute & State University (Virginia Tech) in 1989.

    He joined the faculty in the School of Computing and Information Science (SCIS) at Florida International University (FIU) in 2000, and is professor of SCIS and the Director of the Center for Advanced Distributed System Engineering. Prior to joining FIU, he was an associate professor in the Department of Computer Science at North Dakota State University since 1989. His research interests include formal methods, especially Petri nets, and software testing techniques. He has published over 100 papers in the above areas. He was ranked as the top 15 scholars in Systems and Software Engineering worldwide between 1999 and 2003 by Journal of Systems and Software. His research has been funded by the NSF, ONR, NASA, and DOE. He has been the major advisor of 10 Ph.D. and 35 M.S. graduates.

    Dr. He is a member of the Association for Computing Machinery, and a senior member of the IEEE Computer Society.
Academic Co-Sponsors

Computational Biology and Functional Genomics Laboratory, Harvard University, Cambridge, Massachusetts, USA

International Society of Intelligent Biological Medicine
Horvath Laboratory, University of California, Los Angeles (UCLA), USA
Minnesota Supercomputing Institute, University of Minnesota, USA
Functional Genomics Laboratory, University of Illinois at Urbana-Champaign, USA
BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute of Technology and Emory University, Atlanta, Georgia, USA
Intelligent Data Exploration and Analysis Laboratory, University of Texas at Austin, Austin, Texas, USA
Biomedical Cybernetics Laboratory, HST of Harvard University and MIT, USA
Center for the Bioinformatics and Computational Genomics, Georgia Institute of Technology, Atlanta, Georgia, USA
Harvard Statistical Genomics and Computational Laboratory, Harvard University, Cambridge, Massachusetts, USA
Bioinformatics & Computational Biology Program, George Mason University, Virginia, USA
Hawkeye Radiology Informatics, Department of Radiology, College of Medicine, University of Iowa, Iowa, USA
Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa, Iowa, USA
The University of North Dakota, Grand Forks, North Dakota, USA
PSU - Prince Sultan University, Saudi Arabia
Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia.
NEMO/European Union at Institute of Discrete Mathematics and Geometry, TU Vienna

Corporate Sponsors


Other Co-Sponsors

High Performance Computing for Nanotechnology (HPCNano)

International Technology Institute (ITI)

GRIDtoday

HPCwire
Hodges' Health

 

Administered by UCMSS
Universal Conference Management Systems & Support
San Diego, California, USA
Contact: Kaveh Arbtan
If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)