- Date:
- 2007-
This is a dummy project to enable topic specific lists of publications to be generated.
Primary investigator
Associated research group
- Science and Engineering of Natural Systems Group
- Date:
- 2007-
This is a dummy project that enables topic specific lists of publications to be generated.
Primary investigator
Associated research group
- Science and Engineering of Natural Systems Group
- Date:
- 2006-2009
- Theme:
- Agent Based Computing
- Funding:
- DTI
High performance systems need to be highly optimised to meet their demanding requirements. However there is currently a paradox in achieving robust systems (insensitive to variation in their manufacture and environment) that also have the high levels of performance and innovation, essential for competitiveness. Design Simulation and Modelling (DSM) of components and systems is key to resolving this HIPARSYS paradox and optimising performance with reliability and risk. However, to fully tackle this issue and achieve reduced time scales, DSM also needs to be extended to the organisations and processes that produce the systems. The organisation needs to be considered part of the system, and itself needs to be made high performing and robust. This multi-industrial sector and multi-disciplinary team will therefore seek to apply DSM to components, systems and organisations.
Primary investigators
- rmc
- trp
Secondary investigator
- yws01
Partners
- Rolls-Royce
- Jaguar Cars Ltd
- DePuy International Ltd
- EDC, University of Cambridge
- SES, University of Southampton
- Leed Buisness School, University of Leeds
Associated research groups
- Intelligence, Agents, Multimedia Group
- Agents, Interaction and Complexity
- Date:
- 2007-2007
- Themes:
- Research Led Learning, Student Centred Learning, Educational Enhancement
- Funding:
- University of Southampton: Learning and Teaching Enhancement Fund
The project will establish a working group which will investigate good practice, identify studentship opportunities and identify sources of funding for future years. The projectââ¬â¢s core activity will be running and evaluating a set of 15 novel internships across the university during the summer vacation of 2007. These activities are designed to:
ââ¬Â¢ Provide a proof of concept for the benefits of internships for undergraduates;
ââ¬Â¢ Explore models of our understandings of research and learning;
ââ¬Â¢ Identify opportunities for multi-disciplinary and inter-disciplinary undergraduate research;
ââ¬Â¢ Identify sources of future funding for sustaining and growing the activity.
ââ¬Â¢ Provide a focus to develop expertise and collaborations in research led educational activities across the university
A key objective of the project will be to establish working partnerships across the university which develop and share expertise. The activities and outcomes of the project will be widely disseminated internally and externally though practical activities, events and electronic and paper based publications in appropriate academic communities.
The benefits of undergraduate research internships or vacation research projects have been recognised. Amongst the potential gains, students can increase confidence, build on existing skills and develop new areas of expertise. They have opportunities to mature intellectually, may contribute positively to existing research activities, make significant career decisions and enhance their employability.
Typically, internships and summer projects are found predominantly in science, engineering and technological areas. Given the increasingly multidisciplinary nature of research and the potential benefits to the arts humanities and social sciences of scientific literacy it may be beneficial to extend traditional opportunities across a wider academic area. Furthermore it may be possible to identify appropriate internship opportunities which are relevant to the undergraduate experience in the arts humanities and social sciences.
The School of Electronics and Computer Science (ECS) already operates its own internal summer internship programme. In addition, research projects in ECS sometimes identify summer vacation work which is offered to undergraduate students. Other schools have undergraduates who engage in summer internships, sometimes with external employers. An opportunity exists to consolidate existing expertise in student internships and to identify new areas of application along with sustainable sources of funding which could significantly contribute to the Universityââ¬â¢s realisation of a research led and student centred education.
Primary investigator
- saw
Secondary investigator
- Fiona Grindley, LATEU
Associated research group
- Learning Societies Lab
- Date:
- 2006-
- Themes:
- Computer Science Education, Educational Enhancement
- Funding:
- HEA-ICS
This in an ongoing project, now in its third year. Its purpose is to address the learning and motivational needs of more advanced undergraduate students studying programming in their first year at university. It is unusual to find any first year programming class solely composed of novices. Typically students possess a range of prior experience, which generates challenges as to the best way in which to manage and teach the class. Specific issues include how to ensure the maximum benefit and engagement for each of the participants. Maintaining motivation for both neophytes and the most experienced whilst ensuring that students receive a sound introduction to software engineering practices may be particularly difficult. Various differentiated approaches to teaching have been developed and their implemented and evaluation has been analysed and well documented. TOPS is a collaborative initiative. It was originally initiated across four universities who had already implemented specific practice to accommodate the variety of student needs; but who wanted to further develop understanding and good practice in this important area. Over time the participating group has grown incorporating a wider range of institutions, acting as a proof of concept for aninnovative and effective approach to differentiated teaching specifically addressing the needs of the more able student. The TOPS project is designed as a vehicle for educational development, building a community of practice and incorporating activities such as sharing of current practice and peer observations across universities. It uses collaborative problem setting and intra-university programming competitions as a means of extending the most-able students in programming classes. Although independent competitions can be used to motivate students, activities which are designed in the specific context of existing curriculum have greater educational strengths. Furthermore students learn as they are engaged in the collaborative task of setting a challenge to their fellow competitors. Students complete the challenges in teams of two under time-constrained conditions. Their work is presented to fellow competitors and judges with explanations of the process and decision making undertaken. The activity and judging process has been designed to retain student motivation and to promote and value the integration of professional and technical skills.
Primary investigator
- saw
Secondary investigators
Partners
- University of Kent - Janet Carter
- University of Leeds - Tony Jenkins
Associated research group
- Learning Societies Lab
- Date:
- 2007-2008
- Themes:
- Assessment, Learning Technologies
- Funding:
- JISC
In this project we aim to build an assessment delivery engine to the IMS Question and Test Interoperability version 2.1 specifications that can be deployed as a stand-alone web application or as part of a SOA enabled VLE. The engine will provide for: delivery of an assessment consisting of an assembly of QTI items, scheduling of assessments against users and groups, delivery of items using a web interface, including marking and feedback, and a Web service API for retrieving assessment results. In the second phase, the project will integrate with the other projects in this call on item banking and item authoring to provide a demonstrator, and will contribute to its evaluation and the evaluation of the project and its integration with the other projects under the Assessment call.
Primary investigator
Secondary investigators
Partner
- University of Hull
Associated research groups
- Web and Internet Science
- Electronic and Software Systems
- Date:
- 2006-2008
- Themes:
- Formal Methods, Design, Automation, Simulation and Optimisation
- Funding:
- European Commission
VERTIGO addresses a new generation of technologies and tools for modelling and testing embedded platforms, that will be the foundation for a viable and cost-efficient mapping of HW/SW systems embedded in intelligent devices. The contributions of the VERTIGO project include: (1) Definition of an HW/SW co-simulation strategy which allows to check the correctness of the interaction between HW and SW through simulation and assertion checking. (2) A verification framework that combines simulation with model checking to reduce verification time and increase coverage. (3) The development of techniques to separate the verification of IPs interaction from the verification of the IP-cores to facilitate efficient design-reuse. (4) Integration of formal and dynamic techniques in a seamless manner and federated around an assertion-based methodology and new coverage metrics. (5) Integrating several state-of-the-art static verification techniques (SAT, High-Level Decision Diagrams, Hierarchical Petri Nets, EFSMs) to the same platform. (6) Bounded and unbounded model checking capability based on SAT, by selecting and extending the most promising existing solutions. (7) The utilization of hybrid solvers in RTL unbounded model checking, by extending previous work on SAT technology and on SAT extensions.
Primary investigator
- jpms
Secondary investigators
- jp3
- pocm06r
- jlc05r
Partners
- ST Microlectronics, TransEDA, AerieLogic
- University of Verona, Linkoping University
- Tallinn University of Technology
Associated research group
- Dependable Systems & Software Engineering
- Date:
- 2007-2009
- Themes:
- Formal Methods, Design, Automation, Simulation and Optimisation
- Funding:
- EPSRC
The NOTOS project will conduct innovative research on a number of topics in SAT-based model checking, including novel uses of a number of key concepts: resolution proofs and a supporting resolution engine, incremental SAT and incremental model checking, and new uses of interpolants. In addition to the research contributions, the project also entails the development of NOTOS, a fully SAT-based model checker. NOTOS will integrate the most effective techniques for SAT-based model checking, and will seek to compete with the most widely used model checkers, NuSMV and SPIN. Finally, the project will assess the utilisation of the NOTOS model checker in a number of different contexts, including hardware and software systems, and security protocols.
Primary investigator
- jpms
Secondary investigator
- fl
Associated research group
- Dependable Systems & Software Engineering
- Date:
- 2005-2007
- Theme:
- Pervasive Computing and Networks
- Funding:
- UKERNA
Quality of Service (QoS) is a technology that counters the effects of congestion and queues in packet-switched networks, at the same time keeping the advantages of those networks such as high throughput and dynamic re-allocation of bandwidth between users. QoS divides network traffic into different classes during periods of congestion, and processes those classes in different ways depending upon their characteristics.
Primary investigators
- Tim Chown
- Victor Olifer
- Rina Samani
- Jonathan Couzens
- Tony Hacche
- Tim Robinson
- Christopher Edwards
- Mike Byrne
- Philip Davison
- Jim Buchan
- David Hayling
- Paul Kentish
Secondary investigator
- njh
Partners
- UKERNA
- NOSC
- University of Manchester
- Kentish MAN
- University of Swansea
- LeNSE
- Lancaster University
Associated research groups
- Intelligence, Agents, Multimedia Group
- Systems Group
- Date:
- 2005-2006