Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CTM

1997

The unification of OMT, SDL and IDL for service creation

Autores
Loftus, C; Sherratt, E; Inocencio, E; Viana, P;

Publicação
SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS

Abstract
Like many other subjects, SDL is embroiled in the fusion of the Telecom and Information systems worlds. This represents a shift from the predominant use of SDL in relatively closed Telecom areas to the more and more widely used open distributed processing environments. ACTS project AC227, SCREEN, is working to improve the creation of distributed telematic services. This paper presents some of the issues and challenges that these new environments present to SDL language, and the rationale for combing SDL with OMT and the targeting to CORBA compliant environments.

1997

Code generation strategy for CORBA-based internet applications

Autores
Loftus, CW; Olsen, A; Inocencio, E; Viana, P;

Publicação
Proceedings of the International Enterprise Distributed Object Computing Workshop, EDOC

Abstract
We present an integrated approach (practices) to object-oriented, distributed, application development that covers all phases of software development: requirements capture, analysis, design (structural and behavioural), simulation and targeting to CORBA-based distributed processing environments. We focus on a code generation strategy that addresses and supports all phases of the practices. We highlight code generation objectives including support for multiple paths through the practices, reuse of existing tool-sets and support for traceability. We describe one path in more detail and present an example of design OMT to SDL translation based on labelling in OMT. We describe two development environments used in the project and analyse them with respect to their support for our code generation objectives. Our tool adaptation work is addressing identified weaknesses. This includes an SDL to Java/CORBA code generator, the generation of CORBA-to-SDL-mapping C++ wrappers for C code generated by existing tools and the use of CORBA to integrate development tools and support traceability.

1997

Using power supply current monitoring and P1149.4 for parametric testing of passive components

Autores
daSilva, JM; Matos, JS;

Publicação
ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE

Abstract
The detection and location of faulty passive components is crucial in testing printed circuit boards. This issue is one of the objectives to be satisfied by the development of a mixed-signal test bus standard - IEEE P1149.4 - now on the final phase of evaluation. In this paper a method is presented that enables electronic in-circuit testing for presence and value of passive components, based on the use of analogue boundary modules like those developed under P1149.4, but making use of the positive power supply rail as an analogue test line. This method allows saving one analogue test line while profiting from the eventual presence of current sensors inserted for power supply current monitoring.

1997

Implementation of mixed current/voltage testing using the IEEE P1149.4 infrastructure

Autores
da Silva, JM; Leao, AC; Alves, JC; Matos, JS;

Publicação
ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY

Abstract
The development of a mixed-signal test bus infrastructure - IEEE P1149.4 - is now in the final stages of the standardization process. Evaluating the test capabilities enabled by this infrastructure is an important step needed to support it as a well established standard. This paper presents experiments carried out with a test chip provided by the P1149.4 working group, which explore the architecture of the proposed analog boundary module to implement alternative testing methods. These include a method for parametric testing of passive components based on the monitoring of the power supply current, and a mixed current/voltage technique allowing the implementation of correlation for testing analog and mixed-signal macros.

1997

Hormone replacement therapy and breast cancer: 2. Should women with breast cancer be offered hormone replacement therapy? [Terapeutica hormonal de subtituicao e cancro da mama: 2. A mulher com cancro da mama deve receber terapeutic hormonal de substituicao?]

Autores
De Campos, DA; Cardoso, MJ; De Oliveira, JM;

Publicação
Acta Medica Portuguesa

Abstract
The common menopausal symptoms of a growing number of women treated for breast cancer poses difficult therapeutic decisions to the Gynaecologist. It has been extensively demonstrated that hormonal replacement therapy (HRT) is the most effective treatment of such symptoms, as well as protecting women from cardiovascular disease, osteoporosis and increased mortality related to these disorders. However, breast cancer is classically considered a contraindication to HRT. In this paper we review the existing evidence regarding the influence of HRT on breast cancer. A computerized bibliographical search (MEDLINE) of literature in the English-language literature published in the last 15 years was conducted, followed by a hand search of references found in these papers. Evidence on the response of breast cancer cells to HRT is derived from animal studies, tissue growth system experiments, indirect epidemiological data and clinical data. While the bulk of experimental evidence points towards a proliferative effect of estrogen on breast cancer cells, almost all clinical reports have found no adverse effects of HRT on these patients. In our opinion, currently existing evidence does not justify the denial of HRT to breast cancer patients whose quality of life is at stake. Such is the case of women with intense menopausal symptoms unresponsive to alternative therapies. This opinion is shared by numerous other authors and a small number of eminent institutions. We believe it is safer to avoid HRT, in asymptomatic women as long-term regimens would be needed for protection against cardiovascular disease and osteoporosis, and the risks of such regimens have yet to be evaluated. We also believe that large randomized trials are now ethically justified and greatly needed to obtain safer data on this subject.

1996

Evaluation of iDD/vOUT cross-correlation for mixed current/voltage testing of analogue and mixed-signal circuits

Autores
Machado Da Silva, J; Silva Matos, J;

Publicação
Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

Abstract
The use of cross-correlation between power supply current and output voltage dynamic responses is presented as a methodology for improved mixed current /voltage testing of analogue and mixed-signal circuits. Results obtained from simulations are presented which show that better fault coverage and a simplification of test circuitry can be obtained, when compared with the results obtained from the direct observation of the individual signals. These advantages are important factors to develop viable new design for testability and buil-in self test techniques. © 1996 IEEE.

  • 315
  • 325