News

  • strict warning: Non-static method view::load() should not be called statically in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/views.module on line 906.
  • strict warning: Declaration of views_handler_filter::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter.inc on line 607.
  • strict warning: Declaration of views_handler_filter::options_submit() should be compatible with views_handler::options_submit($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter.inc on line 607.
  • strict warning: Declaration of views_handler_filter_boolean_operator::value_validate() should be compatible with views_handler_filter::value_validate($form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/handlers/views_handler_filter_boolean_operator.inc on line 159.
  • strict warning: Declaration of views_plugin_style_default::options() should be compatible with views_object::options() in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/plugins/views_plugin_style_default.inc on line 24.
  • strict warning: Declaration of views_plugin_row::options_validate() should be compatible with views_plugin::options_validate(&$form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/plugins/views_plugin_row.inc on line 134.
  • strict warning: Declaration of views_plugin_row::options_submit() should be compatible with views_plugin::options_submit(&$form, &$form_state) in /net/files.cis.ksu.edu/exports/web/santos-dev/htdocs/sites/all/modules/views/plugins/views_plugin_row.inc on line 134.

Open-source medical devices: "When code can kill or cure". Abstract -- Medical technology: Applying the “open source” model to the design of medical devices promises to increase safety and spur innovation. See full article here: http://www.economist.com/node/21556098

SAnToS Lab is pleased to welcome Brian Larson as a new research associate working in the area of medical device integration, coordination, and interoperability. He holds a Bachelor degree in Electrical Engineering and a Master degree in Computer Science from the University of Minnesota.

Mr. Larson is a principal at Multitude Corporation and an active member of the Architecture Analysis and Design Language (AADL) standard committee (SAE AS5506A -- http://standards.sae.org/as5506a/). He was a Principal Systems Engineer at Boston Scientific from 2005 through April 2010. Previously, he designed hardware of embedded systems for a large defense contractor and started a company to build supercomputers using a radically-different architecture (http://www.multitude.net/). For the supercomputer, he authored a concurrent programming language, and a proof-outline checker to assure total correctness and interference-freedom. BLESS -- an annex sublanguage of the Architecture Analysis and Design Language (AADL) standardized as AS5506A by SAE International, and its nascent proof tool, build upon this prior work.

SAnToS Lab is pleased to welcome Dr. Patrice Chalin, Eng., as a new faculty member. In 1995, Dr. Chalin completed his Ph.D. at Concordia University, Montreal, in the area of specification and programming language design and semantics—earning him the Dean of Engineering Award for most deserving Ph.D. graduate. Following his Ph.D., Dr. Chalin spent over six years at Nortel Networks as a software engineer and quality management specialist, accumulating valued experience and insight into developing large-scale commercial distributed software systems.

In 2002, he accepted a position of Assistant Professor at Concordia where he taught core undergraduate Software Engineering courses until 2011. In addition to being promoted to Associate Professor in 2007, he also became the Software Engineering Program Director and contributed to important revisions and enhancements to Concordia’s undergraduate Software Engineering program.

Dr. Chalin both enjoys and has expertise in both theoretical foundations and practical systems development. For example, he is the project lead of the JMLEclipse extension to the Eclipse JDT compiler. He is also currently teaching CIS 806, Programming Language Semantics, a hands-on course making regular use of the Coq interactive theorem prover to describe and prove properties about program semantics.