Software Systems for Neuroinformatics Nigel Goddard Institute for Adaptive & Neural Computation Division of Informatics University of Edinburgh.

Slides:



Advertisements
Similar presentations
Chapter 19 – Service-oriented Architecture
Advertisements

Artificial Neural Networks And XML
The ERATO Systems Biology Workbench Michael Hucka, Hamid Bolouri, Andrew Finney, Herbert Sauro ERATO Kitano Systems Biology Project California Institute.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 12Slide 1 Software Design l Objectives To explain how a software design may be represented.
Software Modeling SWE5441 Lecture 3 Eng. Mohammed Timraz
Seminar On “ OMNET++ Network Simulator” Presented By: Saurav K Bengani Guided By: Guided By: Dr. Andrew yang Dr. Andrew yang.
Visualization Kenny Inthirath.  Reviewing a Suitable Technique to Use  Scope and Purpose  What types of models can be represented?  Architectural.
A toolchain for running NeuroML/LEMS models on Bluehive Simon Moore.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
ProActive Task Manager Component for SEGL Parameter Sweeping Natalia Currle-Linde and Wasseim Alzouabi High Performance Computing Center Stuttgart (HLRS),
The MEMOPS Programming Framework Wayne Boucher, Cambridge
University of Leeds Department of Chemistry The New MCM Website Stephen Pascoe, Louise Whitehouse and Andrew Rickard.
Introduction To System Analysis and Design
7M701 1 Software Engineering Object-oriented Design Sommerville, Ian (2001) Software Engineering, 6 th edition: Chapter 12 )
ARCS Data Analysis Software An overview of the ARCS software management plan Michael Aivazis California Institute of Technology ARCS Baseline Review March.
Problem-Solving Environments: The Next Level in Software Integration David W. Walker Cardiff University.
1 SWE Introduction to Software Engineering Lecture 23 – Architectural Design (Chapter 13)
Presenter : Shih-Tung Huang Tsung-Cheng Lin Kuan-Fu Kuo 2015/6/15 EICE team Model-Level Debugging of Embedded Real-Time Systems Wolfgang Haberl, Markus.
DCS Architecture Bob Krzaczek. Key Design Requirement Distilled from the DCS Mission statement and the results of the Conceptual Design Review (June 1999):
Adaptive Infrastructures EPRI/DoD Initiative on Complex Interactive Networks/Systems Joint innovative research ·EPRI and ·Office of the Director of Defense.
Programming Languages Structure
© , Michael Aivazis DANSE Software Issues Michael Aivazis California Institute of Technology DANSE Software Workshop September 3-8, 2003.
©Ian Sommerville 2006Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design.
4 th NeuroML Development Workshop & BrainScaleS CodeJam, Edinburgh, March NeuroML: Where are we at? Padraig Gleeson Department.
PROGRAMMING LANGUAGES The Study of Programming Languages.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
29/01/08Copyright AxoNet Software GmbHPage1 asanetwork An overview.
Adapting Legacy Computational Software for XMSF 1 © 2003 White & Pullen, GMU03F-SIW-112 Adapting Legacy Computational Software for XMSF Elizabeth L. White.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
The ERATO Systems Biology Workbench Michael Hucka, Andrew Finney, Herbert Sauro, Hamid Bolouri ERATO Kitano Systems Biology Project California Institute.
Neuroinformatics in the United Kingdom David Willshaw Institute for Adaptive & Neural Computation School of Informatics University of Edinburgh, UK.
CCA Common Component Architecture Manoj Krishnan Pacific Northwest National Laboratory MCMD Programming and Implementation Issues.
Introduction to MDA (Model Driven Architecture) CYT.
Introduction To System Analysis and Design
4.2.1 Programming Models Technology drivers – Node count, scale of parallelism within the node – Heterogeneity – Complex memory hierarchies – Failure rates.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
Virtual Cell and CellML The Virtual Cell Group Center for Cell Analysis and Modeling University of Connecticut Health Center Farmington, CT – USA.
1 ISA&D29-Oct ISA&D29-Oct-13 Systems Analyst: problem solver IT and Strategic Planning.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Slide 1Reproduction prohibited without permission from Computas AS © METIS An Open Architecture Toolkit ADM and ADML support Don Hodge Principle Knowledge.
The ERATO Systems Biology Workbench: Enabling Interaction and Exchange Between Tools for Computational Biology Michael Hucka, Andrew Finney, Herbert Sauro,
S. Shumilov – Zürich Analytical Visualization Framework - a visual data processing and knowledge discovery system Ivan Denisovich, Serge Shumilov Department.
ECE450 - Software Engineering II1 ECE450 – Software Engineering II Today: Introduction to Software Architecture.
OBJECT ORIENTED AND FUNCTION ORIENTED DESIGN 1 Chapter 6.
1 Centre for Intelligent Systems and their Applications Division of Informatics, University of Edinburgh Draft for AKT July Workshop Jessica Chen-Burger.
Cooperative Computing & Communication Laboratory A Survey on Transformation Tools for Model-Based User Interface Development Robbie Schäfer – Paderborn.
SSQSA present and future Gordana Rakić, Zoran Budimac Department of Mathematics and Informatics Faculty of Sciences University of Novi Sad
Review of Parnas’ Criteria for Decomposing Systems into Modules Zheng Wang, Yuan Zhang Michigan State University 04/19/2002.
An Overview of Scientific Workflows: Domains & Applications Laboratoire Lorrain de Recherche en Informatique et ses Applications Presented by Khaled Gaaloul.
Overview of the Systems Biology Workbench Michael Hucka, Andrew Finney, Herbert Sauro, Hamid Bolouri ERATO Kitano Systems Biology Project California Institute.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
CS223: Software Engineering
Design and implementation Chapter 7 – Lecture 1. Design and implementation Software design and implementation is the stage in the software engineering.
Rule Engine for executing and deploying the SAGE-based Guidelines Jeong Ah Kim', Sun Tae Kim 2 ' Computer Education Department, Kwandong University, KOREA.
Ganga/Dirac Data Management meeting October 2003 Gennady Kuznetsov Production Manager Tools and Ganga (New Architecture)
Michael Hucka1 The Modeler’s Workspace Current Design Plans and Status Current project members: Michael Hucka Kavita Shankar Sara Emardson David Beeman.
Neuroinformatics: sharing, organizing and accessing data and models Arnd Roth Wolfson Institute for Biomedical Research University College London.
Simulation Environments for Neuroscience Presented by Ali Nadalizadeh – IPM – Summer 2009 به نام خداوند بخشنده مهربان.
The ERATO Systems Biology Workbench
NEURON Simulation package
Simulation Tools in Neuroscience
Programming Models for SimMillennium
Neuroinformatics at Edinburgh
Padraig Gleeson CodeJam workshop, 28th January 2014
Execute your Processes
Automated Analysis and Code Generation for Domain-Specific Models
Presentation transcript:

Software Systems for Neuroinformatics Nigel Goddard Institute for Adaptive & Neural Computation Division of Informatics University of Edinburgh

IST2001 #2 Overview Neuroinformatics: what and why? Methodological challenges Software solutions: simulation Software solutions: collaboration

IST2001 #3 This talk Neuroinformatics: What is it? Computational models and analytical techniques to help understand information- processing in the nervous system Information processing methods in the nervous system inspire new IT tools IT techniques to help collect, analyze, archive, share, simulate and visualize knowledge of information processing in the nervous system Computational Models Neural Engineering Software Systems

Molecules Synapses Neurons Networks Systems CNS 1 cm 100 um 10 cm m um A Maps 1 cm

IST2001 #5 Overview Neuroinformatics: what and why? Methodological challenges Software solutions: simulation Software solutions: collaboration

IST2001 #6 Methodological Challenges Scale and heterogeneity –data, models, computations –multiscale, multiformalism methods needed –Parallel/GRID resources required Collaboration is essential –Data and its understanding is distributed –Computional models are valuable expressions of understanding –we need tools to support exchange, discussion and comparison of models and data

IST2001 #7 Overview Neuroinformatics: what and why? Methodological challenges Software solutions: simulation Software solutions: collaboration

IST2001 #8 Need for Large-Scale Computing

IST2001 #9 Large Scale Network Modeling Compartmental cell modeling understood….. but network modeling support needs study Parallel computing needed for networks of spiking cells… … and amenable to effective parallel simulation using Discrete Event Simulation Tdata

IST2001 #10 NEOSIM Simulation Approach Optimize simulation kernel for network activity Plug in single-cell models and other components from other packages Design for parallel computers NEural Open SIMulation

IST2001 #11 Multilevel Simulation Purkinje granule Diffusion Modeling Component Connectionist Network Modeling Component Rastorgram component Voltage trace component

IST2001 #12 Overview Neuroinformatics: what and why? Methodological challenges Software solutions: simulation Software solutions: collaboration

IST2001 #13 Need Improved Methodologies Progress will accelerate when neuroscientists can share model components to build more complex simulations Key technical requirements: –Need a common model exchange format The model description language must be translatable into forms suitable for simulation –Need software tools that support simulation of models, development, visualisation, exchange and storage of computational models and components of models

IST2001 #14 Architecture NeuroML is the language all components use to communicate data and models Some components can implement other interfaces

IST2001 #15 Neural Open Markup Language We propose NeuroML/Model as a candidate model representation & exchange language –Uses a simple, well-supported, textual substrate (XML) –Adds components that reflect the natural conceptual constructs used by modelers in the domain Data structures – a simulator independent model description –neuroml.model.cell,.synapse,.network… Extensible – tools can add tool-specific annotations Code is hidden behind the NeuroML declarative interface

IST2001 #16 Example The templates for a cell tree structure…

IST2001 #17 Example II : Structured Networks Specifying networks of networks

IST2001 #18 From specifications to working tools A standard data structure is only useful if tools can read & write it We have released a development kit for providing easy access to NeuroML for tool developers Features: –XMLIn / XMLOut : to read & write NeuroML files –A module loader : to download code modules on the fly –A generic model editor

IST2001 #19 NeuroML & Simulation Tools Catacomb channel simulator NEOSIM network simulator Kinetic scheme model of a sodium channel NeuroML Models Multicompartment network model Simplified integrate/fire network model with learning rules Genesis compartmental solver Neuron compartmental solver Ball/stick style cell model Integrate/fire point neuron model Monte-carlo synaptic transmission model Monte-carlo synaptic transmission model Cell generated from L-system growth rules Hodgkin-huxley style channel models Visualisation tools Reconstructed 3D cell with channels distributed over structure

IST2001 #20 Order in the chaos Step 1 : models declared with the languages of neuroml.model.* –side benefit: parallelisation is easier Step 2 : where simulators need to interoperate during a simulation run, they can implement interfaces in: neuroml.sim.run.* (for execution) and neuroml.sim.state.* (for access to instantiated model state variables)

IST2001 #21 Example modules…

IST2001 #22 Futures Make more simulators NeuroML-aware Starts to become possible to construct multi- scale models, with different simulators cooperating Napster-like service for modellers : models and software components are valuable – it makes sense to share + reuse as much as possible

IST2001 #23 NEOSIM/NeuroML Collaborators Informatics Nigel Goddard, Fred Howell, Paul Rogister - Edinburgh Greg Hood - Pittsburgh, Michael Hines - Yale Oliver Gewaltig - Honda R&D, Robert Cannon - Boston Michael Hucka - Caltech, Hugo Cornelis - Antwerp Paul Verschurre - Zurich, Ronan Reilly – Dublin Simon Thorpe - CNRS Neuroscience Erik De Schutter - Antwerp Terrence Sejnowski - Salk William Levy - Virginia David Willshaw, Andrew Gillies – Edinburgh Angus Silver - UCL Funded by the Human Brain Project, National Institutes of Health and National Science Foundation, USA